{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "outputs": [],
   "source": [
    "import networkx as nx\n",
    "from collections import Counter\n",
    "\n",
    "def weisfeiler_lehman(graph, num_iterations=100):\n",
    "    # Assign initial colors to nodes based on their degrees\n",
    "    node_colors = {node: graph.degree(node) for node in graph.nodes}\n",
    "\n",
    "    # Perform WL iterations\n",
    "    for _ in range(num_iterations):\n",
    "        new_colors = {}\n",
    "        for node in graph.nodes:\n",
    "            # Get the colors of the neighbors\n",
    "            neighbor_colors = [node_colors[neighbor] for neighbor in graph.neighbors(node)]\n",
    "\n",
    "            # Combine the current node color with sorted neighbor colors\n",
    "            combined_colors = [node_colors[node]] + sorted(neighbor_colors)\n",
    "\n",
    "            # Create a color string and hash it\n",
    "            color_string = '_'.join(str(color) for color in combined_colors)\n",
    "            new_colors[node] = hash(color_string)\n",
    "\n",
    "        # Update the node colors\n",
    "        node_colors = new_colors\n",
    "        #print(node_colors)\n",
    "    print(node_colors)\n",
    "    return node_colors"
   ],
   "metadata": {
    "collapsed": false,
    "pycharm": {
     "name": "#%%\n"
    }
   }
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "{1: 256651535141840035, 2: -502795045046563804, 4: -3592947344218537983, 5: 6753261666490882041, 6: -6755960728564095106, 3: -5350592797958545925}\n"
     ]
    },
    {
     "data": {
      "text/plain": "<Figure size 640x480 with 1 Axes>",
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAApQAAAHzCAYAAACe1o1DAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjUuMywgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/NK7nSAAAACXBIWXMAAA9hAAAPYQGoP6dpAABoYUlEQVR4nO3dZ1hU574F8DVDExAVVOyDBQvNDhasiTVRECFqiu14okaTGFuOsWuixmiiSTS22DVqHIrYUFGsSFEsiBUVwYqAIB1mZt8POXLlqFiYYc/sWb/nuR/iDHsW5yaw/L/7fbdMEAQBRERERETvSC52ACIiIiIybCyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKiyURERERFQqLJREREREVCoslERERERUKqZiByAiorKVna9CQmo2ClQamJvKUbeyNawt+OuAiN4df4IQERmBG48ysTUyEWHXkpGYlgPhuddkABR2Vuja2B6ftlGgYTUbsWISkYGSCYIgvP5tRERkiJLScjA1MBYn4lNgIpdBrXn1j/xnr3d0rIL5Pm6oY2dVhkmJyJCxUBIRSdT26ETMCo6DSiOUWCT/l4lcBlO5DHO8XDDIXaHDhEQkFSyUREQStCzsBhYfvF7q60zq0Qhfdm2ohUREJGXc5U1EJDHboxO1UiYBYPHB69gRnaiVaxGRdHFCSUQkIUlpOei25BjyVZoXXst/cB3ZsYeRlxgLVcYjyC0rwKJmY1TqNBhmdrVeeU0LUzlCx3fmPZVE9EqcUBIRScjUwFioXnG/5NMIJXKuhaOcQzPYdhuJ8s16Ii/pEh6sH4eCxwmvvKZKI2BqYKyOEhORFHBCSUQkETceZaL70uOvfD3v7hVY1HCEzMSs6M8K0+7h/tovYd3EE1X6Tirx+qHjO8HRnkcKEdGLOKEkIpKIrZGJMJHLXvl6udpOxcokAJjZ1YJ5FQUKU5JKvLaJXIYtEbyXkohejoWSiEgiwq4lv9XxQAAgCALUOemQW1Uo8X1qjYCw68mliUdEEsZCSUQkAVn5KiSm5bz112XHHYU6MxXWTTq+9r2JqTnIzle9SzwikjgWSiIiCbiTmo23vSG+MDUJaYdWwKJWE1i7vf/a9wsAElKz3ykfEUkbCyURkQQUvOSYoJKos54geeccyC2sUaXfd5DJTXTyOURkHEzFDkBERKVnbvrm8wFNXjYe/T0LmrxsVPtsIUxtKuvkc4jIePAnAxGRBNStbI1X7+/+f4KqAMnKuVA9uQf7j2bCvMqbP6tb9t/PISL6XyyUREQSYG1hCsVrnmQjaNR4HLQQ+fevomq/KbCo5fRWn1H45AGGfjoI27ZtQ2ZmZmniEpHEsFASEUlE18b2JZ5D+eTIWuTGR8Kyfiuoc7OQdSms2P+VxEQGtKhmjsTERHzyySeoWrUqvL29sWnTJqSnp2v5OyEiQ8Mn5RARScTrnpTzcOsU5CddeuXrDlP2lHj9Z0/KuXPnDgICAqBUKhEeHg4zMzN069YNvr6+8Pb2RpUqVd75eyAiw8RCSUQkIYPXRiL8VupbH3BeEhO5DO3rV8bmEW1eeO3evXsIDAyEUqnE8ePHIZfL0bVrV/j6+sLHxwfVqlXTWg4i0l8slEREEpKUloNuS44hX4vH+1iYyhE6vjPqvOYezUePHiEoKAhKpRJhYWHQaDTo1KkTfH190b9/f9SqVUtrmYhIv7BQEhFJzPboREwJiNXa9Rb2d8NA9zffDQ4AKSkpCA4OhlKpRGhoKAoLC9G+fXv4+vrC19cXDg4OWstHROJjoSQikqBlYTew+OB1CIIAmexNDhR6uck9GmNsV8dSZUlPT8fu3buhVCpx4MAB5Ofnw93dvahcOjqW7vpEJD4WSiIiier95Q+4bOkCUzNzqN/iJ72JXAZTuQxzvVzeejL5OpmZmdi7dy+USiX27duH3NxcNG/eHL6+vvDz80OTJk20+nlEVDZYKImIJOjEiRPo1KkTFvy2GnFWTXEiPgUmclmJm3Wevd7RsQrm+7i99p7J0srOzkZISAiUSiX27NmDrKwsODs7w8/PD35+fnB1dS3VdJWIyg4LJRGRxOTn56N58+awtbXFyZMnIZfLceNRJrZGJiLsejISU3Pw/A9+GQBFZSt0bWSPz9oq4GhvU+aZ8/LycPDgQSiVSgQHByMjIwMNGzYsKpctWrRguSTSYyyUREQS8/3332Pu3LmIiYmBm5vbC69n56uQkJqNApUG5qZy1K1sDWsLUxGSvlxBQQEOHz4MpVKJoKAgpKWloW7dukXl0sPDg+WSSM+wUBIRScj169fRtGlTjB8/HgsWLBA7TqkVFhbi2LFjUCqVCAwMRHJyMmrXrl10z2X79u0hl/Ohb0RiY6EkIpIIQRDQrVs3JCQkIDY2FlZWur0Hsqyp1WqcPHkSSqUSAQEBuH//PqpXr47+/fvDz88PHTt2hKmp/kxaiYwJCyURkURs2rQJQ4cORUhICHr27Cl2HJ3SaDSIiIiAUqmEv78/EhMTUaVKFfj4+MDPzw9du3aFmZmZ2DGJjAYLJRGRBKSkpKBJkybo0aMH/vrrL7HjlClBEHDmzBkolUoolUrcunULtra28Pb2hp+fH7p16wYLCwuxYxJJGgslEZEEDB8+HEFBQbh69apRPz9bEARcuHChqFxeu3YNFSpUQN++feHn54eePXvC0tJS7JhEksNCSURk4I4ePYquXbti9erV+Pzzz8WOozcEQcDly5eLlsVjY2NhbW2NDz/8EL6+vvjggw9Qvnx5sWMSSQILJRGRAcvLy0OzZs1gb2+PY8eOccdzCa5duwZ/f3/4+/sjJiYG5cqVQ+/eveHr64s+ffqgYsWKYkckMlgslEREBmz27NmYP38+zp8/D2dnZ7HjGIxbt24VlcvIyEiYm5ujR48e8PPzg5eXF2xtbcWOSGRQWCiJiAzU1atX0axZM3z77bf4/vvvxY5jsJKSkhAQEAClUolTp07BxMQE77//Pnx9fdGvXz9UrVpV7IhEeo+FkojIAAmCgC5duuD+/fu4ePEiN5poyYMHDxAYGAilUoljx44BALp06QJfX1/4+PigRo0aIick0k8slEREBmjdunUYMWIEQkND8f7774sdR5KSk5Oxa9cuKJVKHD58GBqNBh06dICvry/69++POnXqiB2RSG+wUBIRGZjk5GQ0adIEffr0waZNm8SOYxTS0tIQHBwMpVKJgwcPorCwEG3btoWvry98fX1Rr149sSMSiYqFkojIwAwZMgR79+7F1atXeX+fCDIyMrBnzx4olUqEhIQgLy8PrVq1KiqXjRo1EjsiUZljoSQiMiChoaHo3r071q1bh+HDh4sdx+hlZWVh3759UCqV2Lt3L3JycuDm5gY/Pz/4+flx5z0ZDRZKIiIDkZubi6ZNm6JWrVoICwuDTCYTOxI9JycnBwcOHIBSqcTu3buRmZkJJycn+Pr6ws/PD02bNuX/z0iyWCiJiAzE9OnTsWjRIly4cAFNmjQROw6VIC8vD6GhoVAqldi1axfS09Ph6OhYVC5btWrFckmSwkJJRGQA4uLi0KJFC0ydOhWzZ88WOw69hYKCAoSFhUGpVCIoKAgpKSlwcHAoKpdt2rThE47I4LFQEhHpOY1Gg06dOuHx48e4ePEiLCwsxI5E70ilUuH48eNQKpUICAjAo0ePUKtWLfTv3x9+fn7w9PSEiYmJ2DGJ3hoLJRGRnluzZg1GjhyJsLAwdOnSRew4pCVqtRrh4eFQKpXw9/fHvXv3YG9vX1QuO3fuDFNTU7FjEr0RFkoiIj328OFDODk5wcfHB+vWrRM7DumIRqNBVFRUUblMSEhA5cqV0a9fP/j6+uL999+Hubm52DGJXomFkohIj33yySc4dOgQrl69isqVK4sdh8qAIAiIiYmBUqmEUqlEfHw8KlasCG9vb/j5+aF79+4oV66c2DGJimGhJCLSUyEhIejduzc2bdqEwYMHix2HRCAIAmJjY4sml5cvX0b58uXRt29f+Pn5oVevXrCyshI7JhELJRGRPsrJyYGrqyvq16+PQ4cO8YgZAgBcvnwZ/v7+8Pf3x4ULF2BlZYUPPvgAvr6++PDDD2FjYyN2RDJSLJRERHrou+++w5IlSxAbG4uGDRuKHYf00I0bN4rK5ZkzZ2BhYYFevXrB19cXffv2RaVKlcSOSEaEhZKISM/ExsaiZcuWmDVrFqZPny52HDIACQkJReXy9OnTMDMzQ/fu3eHr6wtvb2/ef0s6x0JJRKRHNBoNPD09kZGRgfPnz3NnL721u3fvIiAgAP7+/jhx4gTkcjnee+89+Pr6wsfHB/b29mJHJAlioSQi0iMrVqzAmDFjcPz4cXTs2FHsOGTgHj58iMDAQPj7++Po0aMQBAGdOnWCr68v+vfvj5o1a4odkSSChZKISE88ePAATZo0wYABA7BmzRqx45DEpKSkYNeuXVAqlQgNDYVKpYKnpyd8fX3h6+sLhUIhdkQyYCyURER6YsCAATh27BiuXLkCOzs7seOQhD158gS7d++GUqnEgQMHUFBQAA8Pj6Jy2aBBA7EjkoFhoSQi0gN79+5Fnz59sHXrVnzyySdixyEj8vTpU+zZswf+/v7Yv38/cnNz0aJFC/j6+sLPzw+NGzcWOyIZABZKIiKRZWdnw8XFBY0bN0ZISAjPnCTRZGdnY//+/VAqldizZ0/Rv5t+fn7w8/ODi4sL//2kl2KhJCIS2eTJk7Fs2TJcunSJS42kN3Jzc3Hw4EEolUoEBwfj6dOnaNSoUVG5bN68OcslFWGhJCIS0fnz59G6dWv88MMPmDJlithxiF4qPz8fhw8fhlKpRFBQEJ48eYJ69eoVlUt3d3eWSyPHQklEJBK1Wo127dohNzcXMTExMDMzEzsS0WsVFhbi6NGjUCqVCAwMxOPHj1GnTp2iey7btWsHuVwudkwqYyyUREQiWbZsGb766iucOnUK7du3FzsO0VtTq9U4ceIElEolAgIC8ODBA9SoUQP9+/eHn58fOnbsCBMTE7FjUhlgoSQiEsG9e/fg5OSETz/9FCtWrBA7DlGpaTQanD59GkqlEv7+/khKSkLVqlXh4+MDPz8/dOnShVN4CWOhJCISga+vL8LDw3HlyhVUqlRJ7DhEWiUIAqKjo4vK5a1bt2BnZwdvb2/4+fnh/fffh4WFhdgxSYtYKImIylhwcDC8vb2xY8cODBgwQOw4RDolCALOnz8PpVIJpVKJ69evo0KFCvDy8oKfnx969OgBS0tLsWNSKbFQEhGVoczMTDg7O8PNzQ179+7lzlgyKoIgIC4urmhyeenSJVhbW6NPnz7w9fXFBx98AGtra7Fj0jtgoSQiKkPjx4/HqlWrcPnyZdStW1fsOESiunr1Kvz9/eHv749z587B0tISvXv3hq+vL/r06YMKFSqIHZHeEAslEVEZOXv2LDw8PPDjjz9i8uTJYsch0is3b94sKpdRUVEwNzdHz5494evrCy8vL9ja2oodkUrAQklEVAZUKhXatGkDtVqN6Oho7nYlKsGdO3cQEBAAf39/nDp1CqampujWrRt8fX3Rr18/VKlSReyIyM5XISE1GwUqDcxN5ahb2RrWFqZixxINCyURURlYunQpJkyYgIiICHh4eIgdh8hg3Lt3D4GBgfD398fx48chk8nQpUsX+Pr6wsfHB9WrVy+zLDceZWJrZCLCriUjMS0HzxcoGQCFnRW6NrbHp20UaFjNpsxy6QMWSiIiHUtKSoKTkxOGDx+O33//Xew4RAbr0aNHCAoKgr+/P44cOQKNRoOOHTvC19cX/fv3R+3atXXyuUlpOZgaGIsT8Skwkcug1ry6Oj17vaNjFcz3cUMdOyudZNI3LJRERDokCAL69euHM2fO4PLly6hYsaLYkYgkITU1FcHBwVAqlTh06BAKCwvRrl07+Pr6wtfXV2ub3rZHJ2JWcBxUGqHEIvm/TOQymMplmOPlgkHuCq1k0WcslEREOhQYGIj+/ftDqVTC19dX7DhEkpSeno49e/ZAqVQiJCQE+fn5aN26dVG5bNiw4Ttdd1nYDSw+eL3U+Sb1aIQvu75bBkPBQklEpCNPnz6Fs7MzWrZsiV27dvHMSaIykJmZiX379kGpVGLfvn3IyclB06ZN4efnBz8/Pzg5Ob3RdbZHJ2JKQKzWci3s74aBEp5UslASEenI119/jXXr1uHy5ctQKKT7i4RIX+Xk5CAkJARKpRK7d+9GVlYWnJycisqlm5vbS/+il5SWg25LjiFfpXnhtYLHd5Bx8i8UPIyHOjsdMjMLmFWugwpt+sOqYZtXZrEwlSN0fGfJ3lPJQklEpANRUVFo27Ytfv75Z4wfP17sOERGLy8vD4cOHYJSqcSuXbuQkZEBR0fHonLZsmXLonI5eG0kwm+lvvSeydyb0Xh6ZjcsajWBSXk7CIX5yLkWjvy7cbDr9SVsmvd66eebyGVoX78yNo94dek0ZCyURERaplKp0Lp1a5iYmCAyMhKmpsZ7Nh2RPiooKMCRI0egVCoRFBSE1NRU1K1bF76+vmjbox8mhWW81fUEjRoPNnwDQVWIWiNXlvje0PGd4GgvvSOF5GIHICKSmqVLlyI2NharV69mmSTSQ+bm5ujVqxf+/PNPPHz4EKGhoejVqxe2bNmCkYs2Q9Co3+p6MrkJTG2qQJOfVeL7TOQybIlILE10vcUJJRGRFiUkJMDFxQWff/45li5dKnYcInoLarUa7eYfQHLO66uRpiAPgiofmvwc5N6IxJOwdbBy6oiqXiU/VtWhshWOTeqqrch6g391JiLSEkEQMHbsWNjZ2eH7778XOw4RvaVclYDHb1AmAeDJkT+RdT7kn3+QyWHVqB3senzx2q9LTM1Bdr5Kco9plNZ3Q0QkomfHlAQFBcHGRnr3SBFJ3Z3UbLzpsm0Fd29YNekAdWYqcq6ehCBoAHXha79OAJCQmg2XmtJ6yAHvoSQi0oKMjAx8/fXX8PHxgbe3t9hxiOgdFLzkmKBXMatcB5Z1m6O82/uw/2gWhII8JCvn4k3uJHybzzEULJRERFrw3XffISsrC7/99pvYUYjoHZmbvnstsmriiYIHN6BKu6fTz9FXXPImIiql06dPY+XKlVi6dClq164tdhwiekd1K1tDBrzxsvfzhMJ8AIAmP7vE98n++zlSI72KTERUhgoLCzFy5Ei0atUKY8eOFTsOEZWCtYUpFK95ko06O/2FPxPUKmRfOgKZqQXMqpT8VCxFZSvJbcgBOKEkIiqVX375BVeuXEF0dDRMTEzEjkNEpdS1sT02R9556VNyACA1ZBmEghxY1HGFiU1lqLOeIPvyUahS78L2vRGQm1u+8tomchm6NrLXVXRR8RxKIqJ3dOvWLbi6umLMmDFYvHix2HGISAtuPMpE96XHX/l69uVjyLp4CAWPE6DJzYTc3BLm1R1h06pvic/yfkaqT8phoSQiegeCIKB37964cuUK4uLiUL58ebEjEZGWlPQs73cl9Wd58x5KIqJ3sH37dhw4cADLly9nmSSSmPk+bjCVy7R6TVO5DPN93LR6TX3CCSUR0Vt68uQJmjRpgk6dOmHnzp1ixyEiHdgenYgpAbFau97C/m4Y6F7yhh1DxgklEdFb+s9//oO8vDz8+uuvYkchIh0Z5K7ApB6N/vtPpZu9Te7RWNJlEuAubyKit3Ly5EmsWbMGy5cvR82aNcWOQ0Q69GXXhkBeJhYduQO5iSkE2ZvP4UzkMpjKZZjr5SL5MglwyZuI6I0VFBSgRYsWsLGxQXh4OORyLvIQSZlGo0G3bt1w82E62o/7HacT0mEil5W4WefZ6x0dq2C+jxvqvOZcS6nghJKI6A0tWrQI165dQ0xMDMskkRFYvXo1wsLCcOjQIXTr5okbjzKxNTIRYdeTkZiaU2whXIZ/Di3v2sgen7VVSPJooJJwQklE9Abi4+Ph6uqKcePGYeHChWLHISIdS0hIgJubGz755BOsWrXqhdez81VISM1GgUoDc1M56la2luQTcN4UCyUR0WsIgoDu3bvj5s2biIuLg5WVcSxhERkrQRDQrVs33LhxA5cuXUKFChXEjqT3jLdKExG9oa1bt+Lw4cPYv38/yySREVi9ejWOHDmCAwcOsEy+IU4oiYhKkJqaiiZNmqBbt27Ytm2b2HGISMfu3LkDV1dXfPzxx1i9erXYcQwGCyURUQlGjBiBgIAAXLlyBdWrVxc7DhHpkCAI6NGjB65du8al7rfEJW8iolc4duwY1q1bh1WrVrFMEhmBNWvWIDQ0FCEhISyTb4kTSiKil8jPz0ezZs1QpUoVHD9+nMcEEUncs6XuQYMGYc2aNWLHMTicUBIRvcSPP/6Imzdvwt/fn2WSSOIEQcDnn3+OSpUqYfHixWLHMUgslERE/+PatWuYP38+vv32W7i4uIgdh4h07M8//8ShQ4ewf/9+VKxYUew4BolL3kREzxEEAe+99x6SkpIQGxsLS0tLsSMRkQ4lJibC1dUVH330EdauXSt2HIPFCSUR0XM2btyIo0eP4uDBgyyTRBL3bKm7YsWK+OWXX8SOY9BYKImI/islJQWTJk3Cp59+iu7du4sdh4h0bN26dTh48CD27dvHpe5S4pI3EdF/DR06FLt378bVq1dhb28vdhwi0qGkpCS4urrC19cX69atEzuOweOEkogIwJEjR7Bp0yb8+eefLJNEEvdsqdvGxoZL3VrCCSURGb28vDw0bdoUNWrUwNGjRyGTycSOREQ6tG7dOowYMQJ79+7FBx98IHYcSeCEkoiM3vz585GQkIBdu3axTBJJXFJSEsaPH49hw4axTGoRJ5REZNQuX76M5s2b47vvvsOcOXPEjkNEOiQIAj744ANcvHgRly5dgq2trdiRJIOFkoiMlkajQefOnZGcnIwLFy6gXLlyYkciIh1av349/vWvf2HPnj348MMPxY4jKVzyJiKjtW7dOpw8eRJHjhxhmSSSuLt372L8+PEYOnQoy6QOcEJJREbp0aNHaNKkCby9vbFhwwax4xCRDgmCgA8//BDnz59HXFwcl7p1gBNKIjJKEydOhImJCRYvXix2FCLSsY0bN2L//v3YvXs3y6SOcEJJREbn0KFD6NGjBzZs2IChQ4eKHYeIdOjevXtwcXGBt7c3Nm7cKHYcyWKhJCKjkpubC1dXVzg4OODw4cM8JohIwgRBQN++fRETE8Olbh3jkjcRGZXvv/8ed+/exf79+1kmiSRu06ZN2Lt3L4KDg1kmdYwTSiIyGpcuXUKLFi0wY8YMzJw5U+w4RKRDz5a6+/bti82bN4sdR/JYKInIKGg0GnTs2BFpaWk4f/48LCwsxI5ERDrybKn77NmziIuLg52dndiRJI9L3kRkFNasWYPw8HAcO3aMZZJI4rZs2YK9e/di165dLJNlhBNKIpK8Bw8ewMnJCX5+fvjzzz/FjkNEOnT//n24uLjgww8/xJYtW8SOYzRYKIlI8gYNGoQjR47g6tWrnFYQSZggCPDy8kJ0dDTi4uJQuXJlsSMZDS55E5Gk7d+/Hzt27MCWLVtYJokkbuvWrdizZw+CgoJYJssYJ5REJFnZ2dlwdXWFo6MjDh48yGOCiCTswYMHcHFxQe/evbF161ax4xgdTiiJSLLmzp2Lhw8f4tChQyyTRBImCAJGjRoFc3Nz/Pbbb2LHMUoslEQkSRcuXMDPP/+MuXPnwtHRUew4RKRDf/31F3bv3o3AwEAudYuES95EJDlqtRqenp7IyspCTEwMzM3NxY5ERDry8OFDODs7o1evXvjrr7/EjmO0OKEkIslZuXIlIiMjcfLkSZZJIgkTBAGjR4+GmZkZl7pFxkJJRJJy//59fPfddxg5ciQ8PT3FjkNEOrRt2zbs2rUL/v7+qFKlithxjBqXvIlIUvz8/HDy5ElcuXIFtra2YschIh15+PAhXFxc0KNHD2zbtk3sOEaPE0oikozdu3fD398f27ZtY5kkkjBBEPDFF1/AxMQEv//+u9hxCJxQEpFEZGVlwcXFBc7Ozti3bx+PCSKSsG3btuGTTz6BUqmEr6+v2HEILJREJBETJ07EihUrEBcXh3r16okdh4h05NGjR3B2dka3bt2wY8cOsePQf3HJm4gM3rlz57B06VIsWLCAZZJIwp5f6l62bJnYceg5nFASkUFTq9Vo27Yt8vPzcfbsWZiZmYkdiYh0ZMeOHRg0aBB27twJPz8/sePQczihJCKDtnz5cpw9exbh4eEsk0QS9ujRI4wdOxYfffQRy6Qe4oSSiAxWUlISnJ2dMWTIECxfvlzsOESkI4IgwM/PD8ePH0dcXBzs7e3FjkT/gxNKIjJYX3/9NWxsbDB//nyxoxCRDu3cuRMBAQH4+++/WSb1FCeURGSQgoKC4OPjw3upiCQuOTkZLi4u6NKlC3bu3Cl2HHoFFkoiMjiZmZlwcnJC8+bNsXv3bp45SSRhH330EY4ePcqlbj3HJW8iMjjTp0/HkydPsHz5cpZJIgnbuXMnlEolduzYwTKp5zihJCKDEh0djTZt2mDRokWYOHGi2HGISEceP34MZ2dndO7cGTt37uRfHvUcCyURGQyVSgV3d3cA/xRLU1MushBJ1YABA3DkyBHExcWhWrVqYseh1+BPYyIyGL/99hsuXryIiIgIlkkiCdu5cyd27tyJbdu2sUwaCE4oicgg3LlzB87Ozvj3v/+NX3/9Vew4RKQjjx8/houLCzp27AilUsmlbgPBQklEek8QBHh5eeHcuXO4fPkyKlSoIHYkItKRQYMG4dChQ7h8+TKnkwaEa0ZEpPcCAgKwZ88eBAQEsEwSSZi/vz927NiBv/76i2XSwHBCSUR6LSMjA05OTvDw8EBQUJDYcYhIR1JSUuDs7AxPT08EBARwqdvAyMUOQERUkmnTpiEzMxO///672FGISIe++uorqNVqrFixgmXSAHHJm4j0VkREBP744w8sWbIEderUETsOEelIQEAAtm/fjq1bt6J69epix6F3wCVvItJLhYWFaN26NczMzBAZGQkTExOxIxGRDqSkpMDFxQXt2rVDYGAgp5MGihNKItJLS5YswaVLlxAdHc0ySSRhX3/9NQoLC7nUbeBYKIlI79y+fRuzZ8/GuHHj0LJlS7HjEJGOBAYGYtu2bdiyZQtq1KghdhwqBS55E5FeEQQBH3zwAeLi4nD58mWUL19e7EhEpAOpqalwcXFBmzZtEBQUxOmkgeOEkoj0yt9//42QkBAEBwezTBJJ2Ndff42CggKsXLmSZVICOKEkIr2Rnp6OJk2aoEOHDlAqlWLHISIdCQoKgo+PDzZv3ozPPvtM7DikBSyURKQ3Ro8ejb/++gtXrlxBrVq1xI5DRDqQlpYGZ2dneHh4YNeuXZxOSgSXvIlIL4SHh2PVqlX4/fffWSaJJOzrr79Gfn4+l7olhhNKIhJdQUEBWrZsCWtra4SHh/OYICKJ2rVrF/r164eNGzdiyJAhYschLeKEkohE9/PPP+Pq1as4e/YsyySRRKWlpWH06NHo06cPBg8eLHYc0jI+y5uIRHXz5k3MnTsXEyZMQLNmzcSOQ0Q68s033yAvLw+rVq3iUrcEccmbiEQjCAJ69uyJ69evIy4uDtbW1mJHIiId2L17N7y8vLBhwwYMHTpU7DikAyyURCSarVu34rPPPsO+ffvQu3dvseMQkQ6kpaXBxcUFrVq1wu7duzmdlCgWSiISRVpaGpo0aYKuXbtix44dYschIh0ZOnQodu3ahbi4OJ7gIGHclENEovj2229RUFCApUuXih2FiHRkz5492LRpE9avX88yKXGcUBJRmTt+/Dg6d+6MFStWYPTo0WLHISIdePLkCVxcXNC8eXPs3buXS90Sx0JJRGUqPz8fzZs3h62tLU6ePAm5nIdNEEnRsGHDEBQUhEuXLqF27dpixyEd45I3EZWpn376CfHx8YiJiWGZJJKovXv3YuPGjVi3bh3LpJHghJKIysz169fRtGlTjB8/HgsWLBA7DhHpQHp6OlxcXNC0aVPs27ePS91GgoWSiMqEIAh4//33cefOHcTGxsLKykrsSESkA8OHD0dAQADi4uI4nTQiXPImojKxefNmhIWF4cCBAyyTRBK1b98+bNiwAWvXrmWZNDKcUBKRzqWkpKBJkybo2bMntm7dKnYcItKB9PR0uLq6wtXVFfv37+dSt5HhHfFEpHOTJ0+GWq3GL7/8InYUItKRCRMm4OnTp1izZg3LpBHikjcR6VRYWBg2bNiANWvWoFq1amLHISId2L9/P9avX481a9agTp06YschEXDJm4h0Ji8vD82aNYO9vT2OHTvGY4KIJCgjIwMuLi5wcXFBSEgIp5NGihNKItKZBQsW4Pbt2wgMDGSZJJKoiRMncqmbWCiJSDeuXr2KBQsW4D//+Q+cnZ3FjkNEOhASEoK1a9di9erVUCgUYschEXHJm4i0ThAEdOnSBffv30dsbCzKlSsndiQi0rKMjAy4urrCyckJBw4c4HTSyHFCSURat379ehw/fhyhoaEsk0QSNWnSJGRkZODPP/9kmSROKIlIu5KTk9GkSRP06dMHmzZtEjsOEenAwYMH0bNnT6xatQojR44UOw7pARZKItKqwYMHY9++fbh69SqqVq0qdhwi0rKMjAy4ubmhcePGOHjwIKeTBIBL3kSkRaGhodiyZQvWrVvHMkkkUZMnT8aTJ0+41E3FcEJJRFqRm5sLNzc31K5dG2FhYfxFQyRBz5a6V65ciVGjRokdh/QICyURacX06dOxaNEiXLx4EY0bNxY7DhFp2dOnT+Hm5gZHR0eEhobyL41UDE8aJqJSi4uLw8KFCzF16lSWSSKJmjx5MtLS0rB27VqWSXoBJ5REVCoajQadOnVCSkoKLly4AAsLC7EjEZGWhYaGonv37lixYgVGjx4tdhzSQyyURFQqa9aswciRI3H06FF07txZ7DhEpGWZmZlwdXWFo6MjDh06xMeo0ktxlzcRvbOHDx/i22+/xfDhw1kmiSRq8uTJSE1NxdGjR1km6ZVYKInonU2YMAGmpqZYtGiR2FGISAdCQ0OxatUqLF++HPXq1RM7DukxLnkT0TsJCQlB7969sWnTJgwePFjsOESkZZmZmXBzc0P9+vURGhrK6SSViIWSiN5aTk4OXF1dUb9+fRw6dIg7PokkaMyYMdi0aRNiY2M5naTX4pI3Eb21uXPn4v79+zhw4ADLJJEEHTlyBCtWrMCyZctYJumNcEJJRG8lNjYWLVu2xKxZszB9+nSx4xCRlj1b6q5Xrx4OHz7MpW56IyyURPTGNBoNPD09kZGRgfPnz8Pc3FzsSESkZWPHjsWGDRsQGxuL+vXrix2HDASXvInoja1atQoRERE4ceIEyySRBIWFheGPP/7A77//zjJJb4UTSiJ6I/fv34eTkxMGDhyI1atXix2HiLQsKysLbm5uUCgUCAsL41I3vRVOKInojXzzzTcoV64cFi5cKHYUItKBKVOmIDk5mUcE0TthoSSi19q7dy927tyJv/76C7a2tmLHISItO3r0KJYvX47ffvsNDRo0EDsOGSAueRNRibKzs+Hi4oLGjRsjJCSExwQRSUx2djbc3NxQu3ZtPl6R3hknlERUotmzZ+PRo0c4fPgwyySRBE2ZMgUPHz7EwYMHWSbpnbFQEtErnT9/HkuWLMEPP/zAZTAiCTp27BiWLVuGX3/9FY6OjmLHIQPGJW8ieim1Wo127dohNzcXMTExMDMzEzsSEWlRdnY2mjZtilq1anGpm0qNE0oieqk//vgD0dHRCA8PZ5kkkqCpU6fiwYMHCAkJYZmkUuOEkohecPfuXTg7O+PTTz/FihUrxI5DRFp2/PhxdO7cGUuWLME333wjdhySABZKInpB//79cfr0aVy5cgWVKlUSOw4RaVF2djaaNWuGGjVq4NixY5xOklZwyZuIitm1axcCAwOxY8cOlkkiCZo2bRru3buH/fv3s0yS1nBCSURFMjMz4ezsjKZNm2LPnj08JohIYk6cOIHOnTvj559/xvjx48WOQxLCQklERcaPH4/Vq1cjLi4OdevWFTsOEWlRTk4OmjZtiurVq+PYsWMwMTEROxJJCJe8iQgAcPbsWfz2229YuHAhyySRBD1b6t63bx/LJGkdJ5REBJVKhTZt2kCtViM6OprHBBFJzMmTJ9GpUycsXrwYEyZMEDsOSRALJRFh6dKlmDBhAiIiIuDh4SF2HCLSopycHDRr1gxVq1bFiRMnOJ0kneCSN5GRS0xMxPTp0zF27FiWSSIJmj59Ou7evYs9e/awTJLOcEJJZMQEQYC3tzfOnj2LK1euoEKFCmJHIiItOnXqFDp27IhFixZh4sSJYschCWOhJDJiAQEB8PX1hb+/P/r37y92HCLSotzcXDRr1gyVK1fGyZMnOZ0knWKhJJKo7HwVElKzUaDSwNxUjrqVrWFt8f93uTx9+hROTk5o1aoVdu3axTMniSRm4sSJWL58Oc6fP48mTZqIHYckjvdQEknIjUeZ2BqZiLBryUhMy8Hzf1uUAVDYWaFrY3t82kaB336YhoyMDCxbtoxlkkhiwsPDsWTJEvz0008sk1QmOKEkkoCktBxMDYzFifgUmMhlUGte/Z/1s9dzb5/DF60rYvakr8owKRHpWm5uLpo3bw47OzsudVOZ4YSSyMBtj07ErOA4qP5bIksqk8+/bunQFNsyzNAkOhGD3BU6z0lEZWPmzJm4c+cOgoKCWCapzHBCSWTAloXdwOKD10t9nUk9GuHLrg21kIiIxHT69Gl4enrixx9/xLfffit2HDIiLJREBmp7dCKmBMRq7XoL+7thICeVRAYrNzcXLVq0QKVKlXDq1ClOJ6lMccmbyAAlpeVgVnDcS1/TFOTiaWQA8u9fQ8GD69DkZaHyB9+gfNNuJV5zZnAc2jeogjp2VrqITEQ6NmvWLCQkJODcuXMsk1Tm5GIHIKK3NzUwtuieyf+lyXmKjFPbUJiaBDP7em98TZVGwNRA7U08iajsRERE4Oeff8acOXPg5OQkdhwyQlzyJjIwNx5lovvS4698XVAVQpOXBZPytsh/cAMPN45/ownlM6HjO8HR3kZbcYlIx54tdVesWBGnTp2CqSkXH6nscUJJZGC2RibCRP7qcyNlpmYwKW/7Ttc2kcuwJSLxXaMRkQhmz56N27dvY/369SyTJBoWSiIDE3Yt+bVHA70rtUZA2PVknVybiLQvMjISixcvxpw5c+Ds7Cx2HDJiLJREBiQrX4XEtBydfkZiag6y81U6/QwiKr28vDwMGzYMLVu2xKRJk8SOQ0aOs3EiA3InNRu6vulZAJCQmg2XmhV1/ElEVBqzZ8/GrVu3EBMTw6VuEh3/DSQyIAUqjaQ+h4jeTVRUFBYtWoQffvgBLi4uYsch4pI3kSExNy2b/2TL6nOI6O3l5eVh+PDhaNGiBSZPnix2HCIAnFASGZS6la0hA3S87C2gMO0+hBoVIJO9ejc5EYljzpw5iI+Px9mzZ7nUTXqDYwgiA2JtYQqFjp9kU5j2AC3cnGFvb49+/fph0aJFOH36NPLz83X6uUT0etHR0fjpp58wa9YsuLq6ih2HqAgPNicyMLOD47A58k6JRwc9PbsbmrxsqLPSkHVuH6watYdZtfoAgAqt+kJezvqlX2cil2FgixroUuExTp48iVOnTiEiIgI5OTmwsLCAh4cHPD090aFDB7Rv3x62tu923iURvb38/Hy0bNkSlpaWiIiI4HSS9AoLJZGBed2TcgDg7h//gvrpy8+TrDV6LUwrVXvl1/7vk3IKCwtx4cKFooJ58uRJPHz4EADg4uJSVDA9PT1Rr149LpMT6ci0adOwaNEinD17Fm5ubmLHISqGhZLIAA1eG4nwW6laPeDcRC5D+/qVsXlEmxLfJwgCbt++XVQuT506hbi4OABA9erVi8plhw4d0Lx5c05RiLTgzJkzaNu2LWbPno3p06eLHYfoBSyURAbo3I0k+Kw5C0FuqrWJoIWpHKHjO6POO9yjmZaWhtOnTxcVzKioKOTn58PKygpt27YtKpht27ZFhQoVtJKXyFjk5+ejVatWsLCwQEREBMzMzMSORPQCFkoiA3Px4kX07dsXKoUHzDoM09p1F/Z3w0B3hVaulZ+fj5iYmGLL5KmpqZDL5WjatGmxZfI6depo5TOJpGr69On46aefcObMGTRt2lTsOEQvxUJJZEB27dqFTz/9FA0bNkRwcDB2xedh8cHrpb7u5B6NMbaroxYSvpwgCLh+/Xqxgnnjxg0AgEKhKFYwXV1dYWJiorMsRIbk2VL3rFmzMGPGDLHjEL0SCyWRARAEAT/++COmTZsGHx8fbNq0CdbW/+zU3h6diFnBcVBphLe6p9JELoOpXIa5Xi5am0y+jUePHiE8PLyoYJ49exYqlQoVKlRAu3btigqmh4dH0fdKZEzy8/PRunVrmJmZITIykkvdpNdYKIn0XF5eHj7//HNs2bIFM2bMwOzZsyGXFz9CNiktB1MDY3EiPgUmclmJxfLZ6x0dq2C+j9s73TOpCzk5OYiOji4qmOHh4cjIyICpqSlatGhRVDA9PT1RvXp1seMS6dyMGTPw448/4uzZs1zqJr3HQkmkxx4+fAgfHx+cP38e69evx6BBg0p8/41HmdgamYiw68lITM0p9kQdGQBFZSt0bWSPz9oqih0NpI80Gg3i4uKK7SZPSEgAADRo0KDYbvLGjRu/ULKJDFlMTAw8PDwwc+ZMzJw5U+w4RK/FQkmkp86fPw8vLy+oVCoEBQXBw8Pjrb4+O1+FhNRs7D9wCFOnfIuE2GjUtK+so7Rl4969e8UK5vnz56HRaGBnZ1c0vfT09ETr1q1Rrlw5seMSvZOCggK0bt0aJiYmiIqK4lI3GQQWSiI9FBAQgMGDB8PJyQm7du1CrVq13vlaERERaNeuHc6fP49mzZppMaX4MjMzERkZWVQwT58+jezsbJibm6N169ZFU8z27dujSpUqYscleiMzZ87EggULEB0djebNm4sdh+iNsFAS6RFBEDB//nxMnz4dH330ETZs2AArq9Ld4/jgwQPUrFkTwcHB6Nu3r5aS6ieVSoWLFy8W201+//59AECTJk2KLZM3aNCAT/UhvfNsqXvGjBmYNWuW2HGI3hgLJZGeyM3NxYgRI7Bt2zbMnj0bM2fO1Erh0Wg0sLS0xM8//4wvv/xSC0kNhyAIuHPnTlHBPHXqFC5dugRBEFCtWrWiJfIOHTqgRYsWXFokURUUFMDd3R0ymQxRUVEwNzcXOxLRG+Mz0Yj0wIMHD9CvXz/Exsbi77//xkcffaS1a8vlctSpUweJiYlau6ahkMlkqFu3LurWrYvPPvsMAJCenl7sqT7Tpk1DXl4eLC0t0aZNm6KC2a5dO1SsWFHk74CMybx583D58mVER0ezTJLB4YSSSGQxMTHw8vKCIAgIDg5Gq1attP4Z7733HqpWrYodO3Zo/dqGrqCgADExMUUTzJMnT+Lx48eQyWRwc3Mrdui6QqHgMjnpxLlz5+Dh4YFp06Zh9uzZYschemsslEQiUiqVGDJkCFxdXREUFISaNWvq5HOGDx+Oq1ev4vTp0zq5vpQIgoD4+Phi92Feu3YNAFC7du1iBbNp06Z8qg+VWkFBATw8PCAIAqeTZLC45E0kAkEQ8P3332PWrFkYNGgQ1q1bB0tLS519nkKhwIEDB3R2fSmRyWRo2LAhGjZsiOHDhwMAHj9+XOypPhMmTEBhYSFsbGzQtm3booLZpk0blC9fXuTvgAzNggULcOnSJZZJMmicUBKVsZycHAwfPhx///035s6di+nTp+t8GXXdunUYMWIE8vLyYGFhodPPMga5ubk4c+ZMsaf6PHnyBCYmJmjevHmxKaaups4kDefPn4e7uzu+++47zJ07V+w4RO+MhZKoDN27dw/9+vXD5cuXsWnTJvj6+pbJ54aGhqJ79+6Ij49HgwYNyuQzjYlGo8GVK1eKHbp+69YtAEC9evWKFUxnZ2c+1YcAAIWFhXB3d4dGo8GZM2c4nSSDxiVvojISHR0Nb29vmJiY4OTJk2jRokWZfbZCoQAAJCYmslDqgFwuh4uLC1xcXDBy5EgA/+zcf75gbtu2DWq1GpUqVUL79u2LCqa7u7tOb3cg/fVsqZtHBJEUcEJJVAZ27NiBYcOGoVmzZggMDESNGjXK9PNzc3NhZWWFDRs2YOjQoWX62fSPrKwsREVFFXuqT2ZmJszMzNCqVauigunp6YmqVauKHZd07MKFC2jdujWmTJmC77//Xuw4RKXGQkmkQxqNBnPmzMHcuXPx6aef4s8//xTtGdPVqlXD2LFjMXPmTFE+n4pTq9WIjY0ttpv87t27AIBGjRoVe6pPw4YNeVyRhBQWFqJNmzYoLCzEmTNneF8zSQKXvIl0JCcnB0OHDoVSqcT8+fMxZcoUUUuBg4ODUR5urq+ebeBp3rx50ROMEhMTi8rlyZMnsX79egiCgKpVqxZNLz09PdGqVSsukRqwH3/8ERcvXkRkZCTLJEkGJ5REOnD37l14e3vj2rVr2LJlC/r16yd2JPj5+SEjIwOHDh0SOwq9oYyMDJw+fbro0PWIiAjk5uaiXLly8PDwKPZUH1tbW7Hj0hu4ePEiWrdujW+//RY//PCD2HGItIaFkkjLIiMj0a9fP5iZmWH37t1o1qyZ2JEAABMnTsSePXuKDukmw1NYWIjz588XWyZ/9OgRAMDV1bXYs8nr1q3LZXI982ypu6CgAGfPnuV0kiSFS95EWvTXX3/hX//6F1q2bInAwEBUq1ZN7EhFFAoFEhMTIQgCi4aBMjMzg7u7O9zd3TF+/HgIgoBbt24VFczjx49j1apVAIAaNWoUuw+zWbNmMDXlj3wxLVy4EBcvXkRERATLJEkOJ5REWqDRaDBz5kzMmzcPQ4YMwerVq/XuF0ZQUBB8fHzw6NEj2Nvbix2HdCQ1NbXYU32io6NRUFAAa2trtG3btqhgtm3bFjY2NmLHNRqxsbFo1aoVJk+ejHnz5okdh0jrWCiJSikrKwtDhgxBUFAQfvzxR0yePFkvJ4AxMTFo1aoVoqKi4O7uLnYcKiN5eXk4e/ZssTMx09LSIJfL0axZs2KHrteuXVvsuJJUWFiItm3bIi8vDzExMXr3l00ibWChJCqFxMREeHl54ebNm9i6dSu8vLzEjvRKqampqFKlCpRKZZk9oYf0j0ajwbVr14oVzPj4eAD/nATwfMF0cXGBiYmJyIkN37x58zBr1iycPn2af5kjyWKhJHpHp0+fho+PD8qVK4fg4GA0bdpU7EglEgQB5cuXx/fff48JEyaIHYf0yMOHDxEeHl5UMGNiYqBSqVCxYkW0a9euqGB6eHjAyspK7LgG5dKlS2jZsiUmTZqE+fPnix2HSGdYKInewebNm/Hvf/8b7u7uCAgIMJh7Ep2dndGjRw8sXbpU7Cikx3Jycoo91Sc8PBxPnz6FqakpWrZsWWyKqU8bz/SNSqVC27ZtkZuby6VukjwWSqK3oNFoMHXqVCxcuBDDhg3DypUrDeqXRK9evWBpaYnAwECxo5ABUavViIuLK3Zc0bND8h0dHYsKZocOHdC4cWO9vIdYDAsWLMD06dNx+vRpeHh4iB2HSKdYKIneUFZWFj777DMEBwdj0aJFmDBhgsH94hw1ahTOnDmDs2fPih2FDFxSUlLRgesnT57ExYsXodFoULlyZbRv375ogtm6dWuD+kuXtly6dAmtWrXC+PHj8eOPP4odh0jnWCiJ3sCdO3fg5eWF27dvY9u2bfjwww/FjvRO5s2bhyVLliAlJUXsKCQxT58+RWRkZNEUMyIiAtnZ2bCwsEDr1q2LCmb79u1RuXJlseOWSna+Cgmp2ShQaWBuKkfdytawtvj/Mz5VKhXatWuH7OxsxMTEoFy5ciKmJSobLJREr3Hq1Cn4+PigfPny2L17N1xcXMSO9M62bNmCwYMHIysrC9bW1mLHIQlTqVS4cOFCsWXyBw8eAACcnJyKHbpev359vZ/233iUia2RiQi7lozEtBw8/4tTBkBhZ4Wuje3xaRsF/Ncvx7Rp0xAeHo42bdqIFZmoTLFQEpVg48aNGDlyJNq2bQt/f39UqVJF7Eilcvz4cXTu3BmXL1+Gk5OT2HHIiAiCgISEhGIFMy4uDgBQrVq1YgWzefPmMDMzEznxP5LScjA1MBYn4lNgIpdBrXn1r8xnr+clnIevogDLF84pw6RE4mKhJHoJtVqN7777DosWLcKIESPwxx9/wNzcXOxYpXbnzh3UrVsXISEh6Nmzp9hxyMilpaXh9OnTRQUzKioK+fn5sLKyQps2bYo91adixYplnm97dCJmBcdBpRFKLJIv0KhhYW6GOV4uGOSu0F1AIj3CQkn0PzIzM/HJJ59g3759+PnnnzFu3Di9X457U4WFhShXrhxWrFiBkSNHih2HqJj8/HzExMQUO3Q9JSUFMpkMTZs2haenZ1HJVCh0W9SWhd3A4oPXS32dST0a4cuuDbWQiEi/sVASPef27dvw8vJCYmIitm/fjt69e4sdSesUCgWGDBmCH374QewoRCUSBAHXr18vVjCvX/+n5NWuXbvYMrmbm5vWnuqzPToRUwJitXItAFjY3w0DOakkiWOhJPqvEydOoH///qhYsSJ2794t2XsMO3TogHr16mHz5s1iRyF6a8nJycWe6nP27FkUFhbCxsYG7dq1KyqYbdq0eaeNZ0lpOei25BjyVZrXvjcjfAfSj2+GWRUFav77j1e+z8JUjtDxnVHHjk8ZIulioSQCsG7dOowePRqenp5QKpUGf6xJST799FPcvXsXx44dEzsKUanl5uYiOjq6qGCeOnUKGRkZMDExQYsWLYo91adGjRqvvd7gtZEIv5X62nsmVU9TcH/NKAAymFa0L7FQmshlaF+/MjaP4I5vki7T17+FSLrUajW+/fZb/PLLLxg5ciSWLVumN7tLdUWhUODUqVNixyDSCktLS3Tq1AmdOnUC8M/TrC5fvlxUMHft2oVff/0VAFC/fv1iBdPJyQlyubzoWjceZeJE/Jud0fokbC0sajaGoNFAk/u0xPeqNQJOxKcgPjkTjvY27/idEuk3FkoyWhkZGfj4449x4MAB/Prrr/jqq68ks/mmJA4ODrh79y7UarXW7jkj0hdyuRyurq5wdXXF6NGjAQD3798vdh/m1q1bodFoYGtrW+ypPgdSKrz2aCAAyEu8hJyrp1Bj+G9IO7TyjXKZyGXYEpGI2V6Ge44tUUlYKMko3bx5E3379sX9+/exf/9+9OjRQ+xIZUahUECtVuP+/fuoU6eO2HGIdK5mzZr46KOP8NFHHwH45zGqzz/VZ968ecjKykKt0WtgWqnkZXFBo0baoZUo36wHzO3rvnEGtUZA2PVkzAYLJUkTCyUZnWPHjsHX1xe2traIiIhAkyZNxI5UphwcHAAAiYmJLJRklMqXL4/3338f77//PoB/nuoTFXMBnwQ+eO3XZp3bD9XTx6j28by3/tzE1Bxk56uKPaaRSCrkr38LkXSsWbMG3bp1Q7NmzRAZGWl0ZRJAUYlMTEwUOQmRfjA1NUXF2o745yGKr6bOfYr0E1tRqf1AmFi9/UHrAoCE1Ox3C0mk51goySioVCp88803GDlyJD7//HOEhITAzs5O7FiiqFChAipVqoQ7d+6IHYVIbxS8wTFB6cc3Q25ZHjat++r0c4gMEefuJHkZGRkYOHAgQkNDsXz5cowZM0bsSKJzcHDghJLoOeamJc9XCtPuIev8Adi+/znUmWlFfy6oCyFo1FClP4LMwgomliXv4n7d5xAZKhZKkrT4+Hj07dsXDx8+REhICLp16yZ2JL2gUCg4oSR6Tt3K1pDhn2Xpl1FnpgKCBk9CV+FJ6KoXXr+3cgRsWnvBrturH2kq++/nEEkRCyVJ1pEjR+Dn54eqVasiMjISjRo1EjuS3nBwcMDRo0fFjkGkN6wtTKGws8KdtJyXvm5W1QFV+0974c/Tj2+GpiAXdt1GvnaHuKKyFTfkkGTx32ySpJUrV+Krr75C165dsWPHDtja2oodSa88m1AKgmAUZ28SvYmuje2xOfLOS8+hNLGqCKtG7V7486fRuwDgpa8V+3q5DF0b2WsnKJEe4s0cJCkqlQpfffUVvvjiC3zxxRfYt28fy+RLODg4IDMzExkZGWJHIdIbn7ZRvPZQ83el1gj4rK1CJ9cm0gecUJJkPHnyBAMGDMDRo0excuVKjBo1SuxIekuh+OcX2507d1CpUiVxwxDpCZPsxyiXfhu5NnUgM3mzX4/VP/3x9df977O8+dhFkjJOKEkSrl+/jrZt2+Ls2bM4ePAgy+RrPH+4OZGxEwQBq1atQtOmTZF3YgPMzbQ7azGVyzDfx02r1yTSNyyUZPBCQ0PRpk0byOVyREVFoWvXrmJH0nvVqlWDubk5d3qT0UtKSkKvXr0wevRofPrpp4g9HYbv+2m3/M31ckEdOyutXpNI37BQkkFbvnw5evXqhTZt2uD06dNwdHQUO5JBkMvlqFOnDieUZLQEQcCmTZvg5uaGS5cuYf/+/Vi1ahVsbGwwyF2BST20cyrE5B6NMdCd906S9LFQkkEqLCzEmDFj8OWXX+LLL7/Enj17eC/gW+JZlGSsHj16BB8fHwwdOhReXl64dOkSevXqVew9X3ZtiB/7u8HCVA4T+dudhGAil8HCVI6F/d0wtiv/kkvGgZtyyOCkpaVhwIABOHbsGFavXo3PP/9c7EgGycHBAVevXhU7BlGZ2rlzJ7744gvI5XIEBATAx8fnle8d5K6AZ4MqmBoYixPxKTCRy0rcBf7s9fb1K2O+jxuXucmosFCSQbl69Sr69u2LJ0+eIDQ0FJ07dxY7ksFSKBQ4cOCA2DGIykRqairGjh2LHTt2wNfXFytWrEDVqlVf+3V17KyweUQb3HiUia2RiQi7nozE1JxiT9SR4Z9Dy7s2ssdnbRXczU1GiYWSDMbBgwcxYMAA1KpVC1FRUahfv77YkQyag4MDHjx4gPz8fFhYWIgdh0hndu/ejZEjRyI/Px9//fUXBg0a9NYH+jesZoPZXi6YDRdk56uQkJqNApUG5qZy1K1szSfgkNHjPZSk9wRBwG+//YbevXvD09MTp0+fZpnUgmdnUd69e1fkJES6kZGRgeHDh8PLywutWrXCpUuX8PHHH5f66VDWFqZwqVkRLRS2cKlZkWWSCCyUpOcKCwsxevRojBs3DuPHj0dwcDAqVKggdixJ4FmUJGWhoaFwc3ODv78/1q5di927d6NmzZpixyKSLBZK0lupqano0aMH1q9fj7Vr12Lx4sUwMTERO5Zk1KlTBwC405skJSsrC2PHjkX37t3RsGFDxMbG4l//+hefWU+kY5zTk166fPky+vbti6dPn+Lw4cPo2LGj2JEkp1y5cqhWrRonlCQZJ0+exLBhw/DgwQMsW7asaDc3Eeke/0sjvbN//360a9cOVlZWiIqKYpnUIZ5FSVKQm5uLSZMmoVOnTqhWrRrOnz+PsWPHskwSlSH+10Z6QxAELFmyBH369EHnzp0RHh6OevXqiR1L0hwcHDihJIMWHR2Nli1b4vfff8dPP/2E48ePo2HDhmLHIjI6LJSkFwoKCvD5559jwoQJmDRpEgIDA2Fjw7PcdI0TSjJUBQUFmDFjBtq1awdra2vExMRg0qRJvM+aSCS8h5JEl5KSAl9fX0RERGD9+vUYNmyY2JGMxrMJpSAI3LRABuPixYsYMmQI4uLiMGvWLEyZMgVmZmZixyIyapxQkqji4uLg4eGBK1eu4MiRIyyTZUyhUCA/Px/JycliRyF6LZVKhfnz56N169ZQq9WIiorCjBkzWCaJ9AALJYlm7969aNeuHWxsbBAdHQ1PT0+xIxkdnkVJhuLq1avw9PTEjBkzMHHiRJw5cwYtWrQQOxYR/RcLJZU5QRCwePFi9O3bF++99x5OnTpVVGyobD17Wg4LJekrjUaDJUuWoEWLFkhPT8epU6ewYMECPi6USM+wUFKZys/Px4gRIzB58mT85z//QUBAAMqXLy92LKNlZ2cHKysrbswhvXTr1i107doVEyZMwKhRo3Du3Dm0bdtW7FhE9BLclENlJjk5Gb6+voiOjsbmzZvx2WefiR3J6MlkMh4dRHpHEASsWrUKkyZNQtWqVREWFoYuXbqIHYuISsBCSWUiNjYWffv2RV5eHo4ePcopgx7h0UGkT5KSkvDvf/8bBw8exKhRo7Bo0SIeIUZkALjkTToXHByM9u3bw9bWFlFRUSyTeoYTStIHgiBg48aNcHV1RVxcHPbv34+VK1eyTBIZCBZK0hlBELBw4UL069cP3bt3x8mTJ4s2gZD+4ISSxPbw4UP069cPw4YNg7e3N2JjY9GrVy+xYxHRW2ChJJ3Iy8vDsGHDMGXKFEybNg1KpRLW1tZix6KXcHBwQGpqKrKzs8WOQkZo586dcHV1RUREBAIDA7Fp0ybY2tqKHYuI3hILJWndo0eP8N5772HHjh3466+/8P3330Mu579q+opHB5EYUlNTMWjQIAwYMABdunTBpUuX0K9fP7FjEdE74qYc0qoLFy6gb9++KCwsxPHjx+Hh4SF2JHqN5w83d3JyEjkNGYPdu3fj888/R0FBAf766y8MGjSIj/4kMnAcG5HWBAUFwdPTE1WrVkV0dDTLpIGoWbMm5HI576MkncvIyMDw4cPh5eWF1q1b49KlS/j4449ZJokkgIWSSk0QBCxYsAA+Pj7o3bs3jh8/jtq1a4sdi96QmZkZatWqxSVv0qlDhw7Bzc0N/v7+WLduHXbv3o2aNWuKHYuItISFkkolLy8PgwcPxtSpUzFz5kzs2LGDm28MEHd6k65kZWVhzJgx6NGjBxo2bIjY2FgMHz6cU0kiieE9lPTOnh31ceHCBWzfvh0DBw4UOxK9I55FSbpw4sQJDBs2DA8fPsSyZcvwxRdfcIMekUTxv2x6J+fOnYO7uzuSkpJw4sQJlkkDxwklaVNubi4mTpyIzp07o0aNGrhw4QLGjh3LMkkkYfyvm96av78/OnTogOrVqyMqKgqtW7cWOxKVkoODA+7evQu1Wi12FDJwUVFRaNmyJZYvX46ffvoJx44dg6Ojo9ixiEjHWCjpjQmCgO+//x5+fn7o27cvjh07hlq1aokdi7RAoVBArVbj/v37YkchA1VQUIDp06ejffv2KF++PGJiYjBp0iSYmJiIHY2IygALJb2R3NxcfPLJJ5g5cybmzp2Lbdu2wcrKSuxYpCXPn0VJ9LYuXLgADw8PLFy4ELNmzUJ4eDicnZ3FjkVEZYiFkl7r/v376Ny5M3bt2oWdO3dixowZ3KEpMc+elsP7KOltqFQqzJs3D+7u7tBoNIiKisKMGTNgZmYmdjQiKmPc5U0lOnPmDLy9vSGTyXDy5Em0bNlS7EikAzY2NrC1teWEkt7Y1atXMWTIEJw9exb/+c9/MGvWLFhYWIgdi4hEwgklvdLff/+NTp06oXbt2oiOjmaZlDju9KY3odFosGTJErRo0QIZGRk4deoU5s+fzzJJZORYKOkFgiBg9uzZGDhwIHx8fHD06FHUqFFD7FikYzyLkl7n5s2b6NKlCyZMmIDRo0fj3LlzaNu2rdixiEgPsFBSMTk5ORg0aBDmzJmDefPmYcuWLbC0tBQ7FpUBTijpVQRBwMqVK9GsWTMkJSUhLCwMS5Ys4cY8IirCeyipyL179+Dt7Y0rV64gICAAPj4+YkeiMuTg4IA7d+5AEARuuqIiSUlJGDFiBA4dOoRRo0Zh0aJFsLGxETsWEekZFkoCAERHR8Pb2xumpqY4deoUmjdvLnYkKmMKhQJZWVlIT0+Hra2t2HFIZIIgYOPGjRg3bhxsbGwQEhKCnj17ih2LiPQUl7wJ27dvR6dOneDg4ICoqCiWSSPFsyjpmYcPH8Lb2xvDhw9Hv379cOnSJZZJIioRC6UR02g0mDFjBj7++GP4+fkhLCwM1atXFzsWieTZWZQslMbt77//houLCyIjIxEUFISNGzeiUqVKYsciIj3HQmmksrOzMWDAAMybNw8LFizApk2bUK5cObFjkYiqVasGc3NzbswxUikpKRg4cCAGDhyI9957D3FxcfD29hY7FhEZCN5DaYSSkpLg7e2N69evIzAwkL80CAAgl8tRp04dTiiNUHBwMEaOHImCggJs27YNAwcO5MYsInornFAamcjISLi7uyM1NRXh4eEsk1QMjw4yLhkZGRg+fDi8vb3h7u6OuLg4DBo0iGWSiN4aC6UR2bp1Kzp37gxHR0dER0ejadOmYkciPcPDzY3HoUOH4OrqCn9/f6xbtw7BwcF8gAERvTMWSiOg0WgwdepUfPbZZxg0aBAOHz4Me3t7sWORHuKEUvqysrIwZswY9OjRA40bN8alS5cwfPhwTiWJqFR4D6XEZWVlYfDgwdi1axcWLVqEiRMn8hcHvZKDgwMePHiA/Px8PptZgo4fP47hw4fj4cOHWL58OUaPHg25nHMFIio9/iSRsMTERHTo0AGhoaEIDg7GpEmTWCapRM+ODrp7967ISUibcnNzMXHiRHTp0gU1atTAhQsXMGbMGJZJItIa/jSRqNOnT8Pd3R0ZGRk4ffo0+vTpI3YkMgA83Fx6oqKi0LJlSyxfvhyLFi3CsWPH4OjoKHYsIpIYFkoJ2rx5M7p06YLGjRsjKioKrq6uYkciA1GnTh0A4H2UElBQUIDp06ejXbt2KF++PGJiYjBx4kSYmJiIHY2IJIiFUkLUajWmTJmCIUOG4LPPPkNoaCiqVq0qdiwyIOXKlUO1atU4oTRwFy5cgLu7OxYuXIg5c+YgPDwczs7OYsciIgljoZSIzMxM+Pj4YNGiRfj555/x559/wtzcXOxYZIC409twqVQqzJs3D+7u7hAEAdHR0Zg+fTrMzMzEjkZEEsdd3hKQkJAALy8vJCQkYPfu3fjggw/EjkQGjGdRGqYrV65g6NChOHv2LKZMmYKZM2dypz4RlRlOKA3cyZMn4eHhgezsbERERLBMUqlxQmlY1Go1fvnlF7Ro0QJPnz5FeHg45s2bxzJJRGWKhdKAbdiwAe+99x6cnZ0RGRnJe6RIK55NKAVBEDsKvcbNmzfRpUsXTJo0CWPGjMG5c+fQpk0bsWMRkRFioTRAarUakyZNwvDhwzFs2DAcPHgQVapUETsWSYRCoUB+fj6Sk5PFjkKvIAgCVqxYgaZNm+LevXsICwvDL7/8AktLS7GjEZGRYqE0ME+fPoW3tzeWLFmCX3/9FatWreLmG9IqnkWp35KSktCzZ0+MGTMGgwcPxoULF9C5c2exYxGRkeOmHANy69YteHl54e7du9i3bx969uwpdiSSoGdPy7lz5w7c3d1FTkPPCIKAjRs3Yty4cbCxsUFISAh/BhCR3uCE0kAcP34cHh4eyM/PR0REBH+RkM7Y2dnB2tqaE0o98vDhQ3h7e2P48OHo168fLl26xJ8BRKRXWCgNwNq1a9GtWzc0a9YMkZGRaNKkidiRSMJkMhl3euuRHTt2wMXFBZGRkQgKCsLGjRtRqVIlsWMRERXDQqnH1Go1JkyYgH//+98YMWIEQkJCYGdnJ3YsMgI8i1J8KSkpGDhwIAYNGoT3338fcXFx8Pb2FjsWEdFL8R5KPZWRkYFBgwbh0KFDWLZsGcaOHSt2JDIiCoUC0dHRYscwWsHBwRg5ciQKCwuxfft2DBw4UOxIREQl4oRSD928eRPt2rVDREQE9u/fzzJJZY4TSnGkp6dj2LBh8Pb2hru7Oy5dusQySUQGgYVSzxw9ehQeHh5QqVSIjIxE9+7dxY5ERkihUCA1NRXZ2dliRzEaBw8ehJubGwIDA7Fu3ToEBwejRo0aYsciInojLJR6ZPXq1ejevTtatmyJyMhINGrUSOxIZKR4FmXZycrKwhdffIGePXuiSZMmiI2NxfDhwyGTycSORkT0xlgo9YBKpcLXX3+NUaNGYdSoUdi3bx9sbW3FjkVG7PmzKEl3jh8/jqZNm2LTpk1Yvnw5Dhw4UPS/PRGRIWGhFFl6ejo+/PBD/PHHH/jjjz+wbNkymJmZiR2LjFytWrUgl8s5odSR3NxcTJgwAV26dEGtWrVw4cIFjBkzBnI5fyQTkWHiLm8R3bhxA3379kVycjIOHjyI9957T+xIRAAAU1NT1KpVi4VSB6KiojBkyBAkJCRg8eLFGDduHExMTMSORURUKvzrsEgOHz6MNm3aAAAiIyNZJknv8HBz7crPz8e0adPQrl072NjY4Ny5c5gwYQLLJBFJAgulCP744w/07NkT7u7uiIiIQMOGDcWORPQCHh2kPRcuXICHhwcWLVqEOXPm4PTp03BychI7FhGR1rBQliGVSoUvv/wSY8eOxdixY7F3714+Qo30FieUpadSqTBv3jy4u7sD+Ge5e/r06TA15d1GRCQt/KlWRp48eYIBAwbg6NGjWLVqFUaOHCl2JKISOTg44O7du1Cr1VyWfQdXrlzB0KFDcfbsWUyZMgUzZ86EhYWF2LGIiHSChbIMXLt2DX379kVqaioOHTqELl26iB2J6LUUCgXUajXu37+POnXqiB3HYKjVaixduhTTpk1D3bp1ER4eXnS/NBGRVHHJW8cOHTqEtm3bwtTUFFFRUSyTZDB4uPnbu3nzJrp06YLJkydjzJgxOHfuHMskERkFFkodEQQBy5YtQ+/evdGuXTucPn0aDRo0EDsW0Rvj4eZvTqPR4I8//kDTpk1x7949HD16FL/88gssLS3FjkZEVCZYKHWgsLAQY8aMwVdffYVx48Zh9+7dqFixotixiN6KjY0NbG1tOaF8jcTERPTs2RNjx47FkCFDcPHiRXTq1EnsWEREZYr3UGpZamoqPvroI5w8eRJ//vknRowYIXYkonfGnd6vJggCNm7ciHHjxqFChQo4cOAAevToIXYsIiJRsFBq0ZUrV9C3b1+kp6cjNDSUUwoyeDyL8uUePHiAkSNHYs+ePRg6dCiWLl3KI8CIyKhxyVtLQkJC0LZtW5QrVw7R0dEskyQJnFC+aMeOHXB1dUVUVBSCgoKwYcMGlkkiMnoslKUkCAJ+/fVXfPjhh+jYsSPCw8NRr149sWMRaYWDgwPu3LkDQRDEjiK6lJQUDBgwAIMGDUK3bt0QFxcHb29vsWMREekFFspSKCgowMiRI/HNN99gwoQJ2LVrFypUqCB2LCKtUSgUyMrKQnp6uthRRBUcHAwXFxccPnwY27dvx44dO1ClShWxYxER6Q2jv4cyO1+FhNRsFKg0MDeVo25la1hbvP5/lpSUFPj5+SE8PBzr16/HsGHDdB+WqIw9fxalra2tyGnKXnp6OsaNG4dNmzahT58+WLNmDapXry52LCIivWOUhfLGo0xsjUxE2LVkJKbl4PnFPBkAhZ0Vuja2x6dtFGhYzeaFr798+TL69u2LzMxMhIWFwdPTs8yyE5Wl58+ibNasmchpytbBgwfxr3/9C5mZmVi/fj2GDh0KmUwmdiwiIr1kVIUyKS0HUwNjcSI+BSZyGdSaF+8LEwDcScvB5sg72HA6AR0dq2C+jxvq2FkBAPbt24dBgwahbt26OHz4MOrWrVu23wRRGapWrRrMzc2Naqd3VlYWJk+ejJUrV6Jbt25Yt24dHz1JRPQaRlMot0cnYlZwHFT/LZEvK5PPe/Z6+K1UdFtyDLP7uuDBSSUmT56MPn36YMuWLbCxeXF6SSQlcrkcderUMZqd3seOHcPw4cPx6NEj/PHHHxg9ejSnkkREb8AoNuUsC7uBKQGxyFdpXlsk/5daIyBfpcF3gbGYo4zEt99+i8DAQJZJMhrGcBZlbm4uxo8fj65du6J27dq4ePEivvjiC5ZJIqI3JPkJ5fboRCw+eF0r17LtPATN+7tBLjeKHk4E4J/7KK9cuSJ2DJ2JjIzE0KFDkZCQgMWLF2PcuHEwMTEROxYRkUGRdKFMSsvBrOC4V76e/zAeGSf/Qv7dyxBUhTCtVA3lm/dChdZer/yamcFxaN+gStE9lURS5+DggAMHDogdQ+vy8/MxZ84cLFy4EK1atcK5c+fg5OQkdiwiIoMk6VHb1MDYonsm/1fu7Rg83DwJ6pwMVGw/CLbdPoelowfUmSklXlOlETA1MFYXcYn0kkKhwIMHD5Cfny92FK05f/483N3dsXjxYsydOxfh4eEsk0REpSDZCeWNR5k4Ef/ycqjJz0HKnl9g2cAdVX2+g0z25r1arRFwIj4F8cmZcLTnfZQkfc/Oorx79y4aNGggcprSUalU+PHHHzFnzhw4OzsjKioKzZs3FzsWEZHBk+yEcmtkIkzkL7+hPvvyUWiy02HbaQhkMjk0BXkQBM0bX9tELsOWCGlvUiB65vmzKA3Z5cuX0a5dO8yaNQv/+c9/EB0dzTJJRKQlkp1Qhl1LfuWO7ryE85BZWEGVlYrkgB+gSrsHmVk5WLt2hd37n0Nmal7itdUaAWHXkzEbLrqITqRXnp3BaKg7vdVqNZYuXYpp06ahbt26CA8PR5s2bcSORUQkKZKcUGblq5CYlvPK1wvT7gMaNR77fw/Lei1R1Wcqyjftjqxz+5Gyd+kbfUZiag6y81VaSkykv8qVK4dq1aoZZKGMj49H586dMXnyZIwdOxbnzp1jmSQi0gFJTijvpGajpNMmhcI8CIX5KN+iN+y6jwIAWDVuD0FdiKzzISjs+CnM7GqV+BkCgITUbLjUrKi94ER6SqFQGNSSt0ajwcqVKzF58mRUr14dx44dQ8eOHcWORUQkWZKcUBaoSr4f8tmStrVT52J/bu3cBQCQf+/qG31OTl7B24cjMkCGdLh5YmIievbsibFjx2Lo0KG4cOECyyQRkY5JckJpblpyTzYpXxmFKYkwsa5U/M+t/5k2avKy3uhzOnq2Q01LDRwdHdGgQQM4OjoW/V/9+vVhaWn5TvmJ9I1CocCFCxfEjlEiQRCwYcMGfPPNN6hQoQIOHDiAHj16iB2LiMgoSLJQ1q1sDRnwymVv8+oNkJdwDqrMVJhVrl3056rMNACAidWbLWP/PHsKEm/dQHx8PMLDw7F582ZkZ2cXvV6rVq2igvl84WzQoAEqVKjwrt8eUZl7NqEUBEEvH0f44MEDjBw5Env27MGwYcOwZMkSVKpUSexYRERGQ5KF0trCFAo7K9x5xcYc6yYd8TRCiayLB2FZt1nRn2ddPAjITWChcHvtZzhUtsLYUf8u9meCIODRo0eIj49HfHw8bt68ifj4eFy4cAH+/v5IT08vem/VqlWLTTSfL5x2dnZ6+UubjJdCoUB+fj6Sk5NRrVo1seMUEQQBO3bswNixY2FmZoZdu3bBy+vVT7oiIiLdkGShBICuje2xOfLOS48OMq/eANZNuyP74iE81mhQTuGKvMRY5Fw9iQrtPoKpTeUSr20il6FrI/sX/lwmk6F69eqoXr06OnTo8MLraWlpRWXz+cJ54MABJCcnF72vUqVKLyyhP/vn6tWrs2xSmXt2uHliYqLeFMqUlBSMGTMGO3fuxMCBA7Fs2TJUqVJF7FhEREZJJghCSRuiDdaNR5novvT4K18X1CpknP4bWRdDoc5Kg2nFqrBp2QcV3L3f6Pqh4ztp9Uk5mZmZRQXz+bIZHx+Pu3fvFr3PysrqpfdsNmjQALVr14aJiYnWMhE9k5qaiipVqmDnzp3w8/MTOw527dqFkSNHQqVS4Y8//sDAgQPFjkREZNQkO6FsWM0GHR2rIPxW6kunlDITU1Tq8Akqdfjkra5rIpehff3KWn/soo2NDZo3b/7SJ3fk5ubi9u3bxaab8fHx8Pf3R0JCAjSaf3a1m5ubo379+i8tnA4ODjAzM9NqZjIednZ2sLa2Fn2nd3p6OsaNG4dNmzahb9++WL16NapXry5qJiIiknChBID5Pm7otuTYK5+Y8y5M5TLM93n9PZbaZGlpCWdnZzg7O7/wWkFBAe7cufPCVDMkJAS3b99GQcE/RxuZmJjAwcHhpfds1q9fH+XKlSvT74kMi0wmE/0sygMHDmDEiBHIzMzEhg0bMGTIEN7+QUSkJyS75P3M9uhETAmI1dr1FvZ3w0B3hdaup0tqtRp379596TJ6fHw8cnNzAfxTFp7fkf584WzQoAFsbLQ7jSXD1Lt3b5QrVw6BgYFl+rmZmZmYPHkyVq1ahe7du2Pt2rVFj4MkIiL9IPlCCQDLwm5g8cHrpb7O5B6NMbaroxYSiU8QBDx8+PClm4Ti4+ORkZFR9N5q1aq9cpOQnZ2diN8FlaVRo0YhOjoaMTExZfaZx44dw/Dhw5GcnIzFixdj1KhRnEoSEekhoyiUwD+TylnBcVBphLdaAjeRy2Aql2Gul4vBTCZLSxCEV+5Ij4+Px+PHj4vea2tr+8pNQtWqVeMvfwmZP38+fvnlF6SkpOj8s3JzczF16lT8+uuv6NChA9avX48GDRro/HOJiOjdGE2hBICktBxMDYzFifgUmMhlJRbLZ693dKyC+T5uqGNnVYZJ9dvTp09fWD5/9s/37t0rep+1tfVL79l0dHRErVq1IJdL8smfkrVlyxYMHjwYWVlZsLa21tnnREZGYujQoUhISMD8+fMxbtw4nl5ARKTnjKpQPnPjUSa2RiYi7HoyElNzij1RRwZAUdkKXRvZ47O2Cq3v5pa6nJwc3Lp166X3bCYmJhbtSLewsCjakf6/hdPBwQGmppLeL2aQTpw4gU6dOuHy5ctwcnLS+vXz8/MxZ84cLFy4EK1atcLGjRt18jlERKR9Rlkon5edr0JCajYKVBqYm8pRt7I1rC1YZnShoKAACQkJL11Gv337NgoLCwEApqamxXakP18469Wrxx3pIrlz5w7q1q2L/fv3o1evXlq99vnz5zFkyBBcvXoVs2fPxrfffsu/VBARGRCjL5SkH9RqNZKSkl66jH7z5s1iO9Lr1Knz0ns2GzRogPLly4v8nUiXSqWChYUFVqxYgZEjR2rlmoWFhfjxxx8xd+5cODs7Y9OmTWjWrNnrv5CIiPQKCyXpPY1GgwcPHrzyvs2nT58Wvbd69eqv3CRka2sr4nchDYr6DfHhoGEYOXpMqSf6ly9fxtChQ3Hu3Dl89913mDFjBszNzbWcmIiIygILJRk0QRCQkpLyyrL5/I5kOzu7V24Sqlq1Knekv0LRPcfXknEnNRt47n8nGQCFnRW6NrbHp20UaFjt9fccq9VqLFmyBNOnT0e9evWwceNGeHh46PA7ICIiXWOhJElLT0/HzZs3Xyic8fHxePDgQdH7ypcv/9J7Nh0dHVGzZk2j3JGui1MR4uPjMWzYMISHh2P8+PH44YcfYGlpqatvgYiIyggLJRmt7Ozsoh3p/7tJKDExEc/+0yhXrlyxHenPF06FQiHJzSOlPbd1jpcLBj13bqtGo8GKFSvw7bffonr16tiwYQM6duyoi+hERCQCFkqil8jPzy+2I/35wnn79m2oVCoA/+xIr1ev3kvv2axXrx4sLCxE/k7enraeLDWpRyN82bUhEhMT8a9//QuHDx/GF198gZ9++ombp4iIJIaFkugtqVQqJCYmFptoPr8jPS8vD8A/O9IVCsVL79msX7++Tg8Hf1fboxMxJSBWa9fra5+BjbNGo2LFili3bh26d++utWsTEZH+YKEk0iKNRoP79++/cpNQZmZm0Xtr1Kjx0ns2GzRogEqVKpV59qS0HHRbcgz5Ks0Lr+XduYhH26a+9OuqD14Mi1pNXnxBEKBRFcAz/QhW/jwPFStW1HZkIiLSE9K7+YtIRHK5HLVr10bt2rXRuXPnYq8JgoDHjx+/cL9mXFwcgoODkZqaWvTeypUrv3KTUJUqVXSyI31qYCxUr7lf0qZVX5jXaFTsz0xta7z8zTIZTM3MYdpuMMskEZHEsVASlRGZTAZ7e3vY29ujffv2L7z+5MmTly6jHz58GA8fPix6X4UKFV56z6ajoyNq1KjxTjvSbzzKxIn4lNe+z6KOC6ybdHjj62ogw4n4FMQnZ/IxpkREEsZCSaQnbG1t0bp1a7Ru3fqF17KysortSH9WOCMjI5GUlFS0I93S0rLoqUH/WzgVCgVMTExe+tlbIxNfezTQM5r8HMjMLCCTv/xa/8tELsOWiETM9nJ5o/cTEZHh4T2URAYuLy8Pt2/fful9m7dv34ZarQYAmJmZoV69ei/dJPTvoLtIfJL76s/47z2UMnNLCAW5gEwOizousO36L1jUaPjajA6VrXBsUletfc9ERKRfWCiJJKywsBCJiYkv3Lf57LD3/Px8yMwtUWf83yXel5l39woyowNhWb815FYVUZiSiKdRgRAK81D9s0Uwr96gxBwyAJdm93znxzQSEZF+Y6EkMlIajQb37t3DkZjrmBWR99ZfX/jkPh6s/QoWdVxQbeDc175/71cd4FKTm3OIiKTI+J4nR0QA/tmRXqdOHTRt0fKdvt7MtiYsG7ZBXuJFCBr1a99f8JLjiIiISBpYKImMnLnpu/8YMK1QBVCrIBTm6/RziIhIv/EnPJGRq1vZGu96qqUq/SFkpuaQmZcr8X2y/34OERFJEwslkZGztjCFws6qxPeoczJe+LOCR7eQcyMK5eq2gExW8o8SRWUrbsghIpIw/oQnInRtbI/NkXdeeQ7l46CFkJuZw6KW0393eSch60IIZGYWsO0yrMRrm8hl6NrIXgepiYhIX7BQEhE+baPAhtMJr3zdqlFbZMcdxdOoIGgKcmBiVRFWjdqjYoePYWZbs8RrqzUCPmur0HJiIiLSJzw2iIgAAIPXRiL8VuobPS3nTZnIZWhfvzI2j2ijtWsSEZH+4T2URAQAmO/jBlP5u27PeTlTuQzzfdy0ek0iItI/LJREBACoY2eFOVp+3vZcLxfUec2GHyIiMnwslERUZJC7ApN6NNLKtSb3aIyB7rx3kojIGPAeSiJ6wfboRMwKjoNKI7zVPZUmchlM5TLM9XJhmSQiMiIslET0UklpOZgaGIsT8SkwkctKLJbPXu/oWAXzfdy4zE1EZGRYKImoRDceZWJrZCLCricjMTUHz//AkOGfQ8u7NrLHZ20VcLS3ESsmERGJiIWSiN5Ydr4KCanZKFBpYG4qR93K1nwCDhERsVASERERUelwlzcRERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlQoLJRERERGVCgslEREREZUKCyURERERlcr/AYmy36J+lIrGAAAAAElFTkSuQmCC\n"
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "# Create a sample graph\n",
    "G = nx.Graph()\n",
    "edges = [(1,2),(1,4),(1,5),(1,6),(2,3),(3,4),(4,5),(5,6)]\n",
    "G.add_edges_from(edges)\n",
    "nx.draw(G,with_labels=True)\n",
    "\n",
    "# Apply the Welsh-Powell algorithm\n",
    "colors = weisfeiler_lehman(G)"
   ],
   "metadata": {
    "collapsed": false,
    "pycharm": {
     "name": "#%%\n"
    }
   }
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "{0: -1788995386452539203, 1: -1788995386452539203, 3: -1788995386452539203, 8: -1788995386452539203, 2: -1788995386452539203, 7: -1788995386452539203, 6: -1788995386452539203, 9: -1788995386452539203, 4: -1788995386452539203, 5: -1788995386452539203}\n"
     ]
    },
    {
     "data": {
      "text/plain": "<Figure size 640x480 with 1 Axes>",
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAApQAAAHzCAYAAACe1o1DAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjUuMywgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/NK7nSAAAACXBIWXMAAA9hAAAPYQGoP6dpAACKQUlEQVR4nO3dd3jTZ5ou/luSJblLli0XwGAbsMEYF1yoBkILHQKhObQk02d2NjN7ds/uObtnz+5v92zPZmYyM5uZyYQSDISEBAi9hQ62XGim2wZjcLdcJFv99wexl+Ku8pXk+3NduTZrSe/3SSbYt9/yvCKbzWYDEREREdEAiYUugIiIiIg8GwMlEREREdmFgZKIiIiI7MJASURERER2YaAkIiIiIrswUBIRERGRXRgoiYiIiMguDJREREREZBcGSiIiIiKyCwMlEREREdmFgZKIiIiI7MJASURERER2YaAkIiIiIrswUBIRERGRXRgoiYiIiMguDJREREREZBcGSiIiIiKyCwMlEREREdmFgZKIiIiI7MJASURERER2YaAkIiIiIrswUBIRERGRXRgoiYiIiMguDJREREREZBcGSiIiIiKyCwMlEREREdmFgZKIiIiI7MJASURERER2YaAkIiIiIrswUBIRERGRXRgoiYiIiMguDJREREREZBcGSiIiIiKyCwMlEREREdmFgZKIiIiI7MJASURERER2YaAkIiIiIrv4CF0AERF5J7PVilajBVabDWKRCIEyCXzEnMcg8kYMlERE5DDNBhPKtHpU6QzQmSyvvB4glSAyQI5YpT+C5VIBKiQiZxDZbDab0EUQEZFn0xnNKKpuQo3eCBGAnn6wdLwe7i9DWoQCATLObRB5OgZKIiKyS5lWj6s1TbDZeg6SLxMBEImAlHAFYpX+ziqPiFyAgZKIiAbsdn0LSupa7R4nMSwQY0KDHFAREQmBu6OJiGhAyrR6h4RJACipa0W5Vu+QsYjI9bhxhYiI+k1nNONqTVOXr924chF/u+nNLl/7p10HEJ+a3uVrxTVNUPvLuKeSyAPxTy0REfVbUfWzPZM9WbjhXYwan/rC1yJHxHT7fpvt2bjTokPtL5CIXIqBktwC+9UReY5mgwk1emOv70tMn4jJ8xf3eVwbgBq9Ec0GE1sKEXkYBkoSDPvVEXmmMq2+19ZAHdpaWyHz9YXEp28/bkTfjp8SobCnRCJyMQZKcrm+9qvTmSwo1erxQKtnvzoiN1KlM/QpTH74v36Gdr0OYokEY9MnYuOf/w1GjU/p8TO2b8fv+V1E5G7405lc6vl+dUDvMxwdr9fqjTheXst+dUQCM1mtXa4oPM9HKsWkeYswYcYsBIeoUHH/Lvb/8b/wN+vfwD/u3Ie4xPE9fl5nssBstXLbC5EHYR9Kchn2qyMShs1mg9Vqhclkgtls7vzr+f+/r6+ZJDLY4noOhF15+rAMP182G4kZk/A3f8jt9f2zRoRB6cutLkSegjOU5BKO7lfnK5EghjOV5IH6E+x6el9/P9vfuQOJRAKpVAofH5/Ov6RSKeTKUAzk17moEbHInPU6rhw/DIvFAolE0vO/J851EHkUBkpyup761XXl8//6BXZ+8C+IHp2ADw6c7vI97FdH9rJarT2GNWeFvP4GO7FY/EKw6yrkyWQy+Pv7d/me3j7b3WsikajLerTtJpx6WDegf+dhUUNgNhlhaNPDP7DnWCru5vlE5J7405icri/96jrUVz3B3o9+CV//nmcf2a/Oe9hsNvuXYXsJdV2932q19qtOkUjUp6Dm6+vbr/DW0/t8fHwgdrN9hIGynmcWe1Jd8QgyuS98/QOc+hwicj0GSnKqvvar67D1X/8e8SnpsFosaNY2dPs+9qtzPJvNBovFYtcM3UCCncXS8wGPrvQlnAUGBr4QzPo7Q/fya+4W7ITiIxYjQCrp8WBOU0M9FKoXf9krv30TmtPHkJb9Wq//LgOk7ENL5GkYKMmp+tOv7mb+ZVw6ehD/vvcYPv6Hv+71/d7ar67jAIWrlmGf///7qy9h7Pml2P4Gu67eJxaLu12OJdeIDJCjVKvv9s/1+z/7AWS+vkhIy4BCFYbHD+7i+GefQubrh/V/9r97HFv07fhE5FkYKMmp+tqvzmKx4ON/+GvMeTMHIxLG9mlsV/Src2Wwe/7vB3KAoreg1rEUO9AZupf/XiKRMNgNUrFKfzzQ6rt9PWv26zj39Zc48Mnv0KZrQXBIKCbOXYjVP/45okbE9ji27dvxicizMFCS0/SlX12HY7u2ofbJY/ztJ7v79QydyYzS8oewWRy7v67j7/u7z04sFvca1F4+QOGIQxQMduRKwXIpwv1lqNUbu/yFcdHG72DRxu/0e1wRALW/jNtYiDwQAyU5jc7YtzDZ0tiAXb/8d6z64Xuv7LvqnQh79h1Au7b+xa+KRH0Kas/P2jniEAX32dFgkRahwPHy2j4fuOsLkejZuETkeRgoyWn62kcu9xf/ikClEgvWvzOg56xavRoqP9kLwa63HndEZJ8AmQ9SwhUoqu57S7DepIbzelUiT8U/ueQ0fekj96S8FCc++xRv/9XfobGmuvPrRqMBFpMJNY8r4BcYiCBlSLdjqEJCeKMGkQBilf4wWCz2XVpgswEiEYLbtIhRRjmuOCJyKV69SE5jtlqx/151j++5ceUi/nbTmz2+Z9HG7+Cd//X33b6+dHQEW4wQCahMq8fVmmf9ZvvzA0WEZ8vcPrUVKDx5BGvWrEFCQoKzyiQiJ+IMJTlNX/rVDY9PwF98+PErX9/5i39Fm64V7/yvv0dkdEy3n2e/OiLhxSr9Ee4vQ1F1E2r0xl5bhXW8rvaXIS1CAf/RkdBXluOLL77A5s2bMWTIENcUTkQOwxlKcqqr1U099qvrzv/ZsBLN2oZur14Env1QilP6e10fSiJP1mwwoUyrR5XO8OovkzYbAmQ+iAyQI1bp/8JpbpPJhK1bt6KpqQnvvvsulEqlawsnIrtwaoecKlbp3+8w2VfsV0fkfoLlUqREKPB6XDiWjo7ArBFhmDk8FM1F5yC6o8HrceFIiVC80hpIKpVi7dq18PHxQW5uLtrb2wX6JyCigWCgJKfq6FfX3y6Jf7/9i15nJ8PZr47IrfmIxVD6SqHyk0Ehl6Kxvq7H9wcGBiInJwctLS3Ys2fPgK7lJCJhMFCS06VFKODovtvsV0fkWUJCQtDQ0NDr+9RqNdasWYPy8nJ8/fXX/b41ioiEwUBJTtfRr86R2K+OyLOoVCrodDoYDIZe3xsTE4OlS5eiuLgY58+fd0F1RGQv/kQml3i+X53NZrPrqsDEsCDEcO8kkUdRqVQAgMbGRkRGRvb6/pSUFDQ2NuLUqVNQKpUYP368s0skIjtwhpJcZkxoEKS1j2Cz9n9flAiAWARMiFBgTGig44sjIqfqCJR9WfbuMGPGDKSkpGDfvn14+PChs0ojIgdgoCSXefjwIQpPHkFkazUCYO7TZzrmMdX+MsyNUXNmkshD+fn5QS6X9ytQikQiLFmyBNHR0di9ezfq6+udWCER2YOBklzCZDJh//79iI6OxtTMdNTmn4G24AxGKv0RIO363u0AqQRxSn/MiQnDtOhQ7pkk8mAikQgqlapfgRIAJBIJVq9ejYCAAOzYsQM6nc5JFRKRPfgTmlzi1KlTaG5uRk5ODhoaGvDgwQMsX74cKREKpODZNY2tRgusNhvEIhECZbwBh8jbqFQqNDY29vtzfn5+yMnJwccff4xdu3Zh48aNkErZMozInfAnNjldRUUFLl++jNdeew2hoaHQaDTw8/PDuHHjOt/zfL86pa+UYZLIC/W1dVB3n123bh2qqqrw1VdfsZ0QkZvhT21yKrPZjP3792Po0KGYNGkSTCYTiouLkZaWBh8fTpATDSYqlQrNzc0wmUwD+vzQoUOxYsUKlJSU4OTJkw6ujojswUBJTvXNN9+gsbERy5Ytg1gsxo0bN9De3o709HShSyMiF3u+ddBAjR07FvPmzcOFCxdQUFDgqNKIyE4MlOQ0lZWVuHjxImbMmAG1Wg0A0Gg0GDVqVOcPFiIaPAbSOqgrkyZNQmZmJg4ePIj79+87ojQishMDJTlFx1J3ZGQkpkyZAuBZwHzy5AkyMzMFro6IhBAYGAipVGrXDCXw7MT4/PnzMXr0aOzZswfV1dUOqpCIBoqBkpzi3LlzqKurw7JlyyCRPGsLpNFooFQqMWrUKIGrIyIhiEQiuw7mPE8sFmPlypVQqVTIzc1Fc3OzAyokooFioCSHq6qqwvnz55GdnY2IiAgAgF6vx40bN5Ceng4xT3ATDVoD6UXZHZlMhpycHADAzp07+3RPOBE5B3+yk0NZLBbs27cParUa2dnZnV8vLi6GzWZDWlqagNURkdAcGSgBICgoqLO/7RdffAGr1eqwsYmo7xgoyaHOnz+P6urqF5a6bTYbNBoNxo0bh4CAAIErJCIhqVQqNDU1wWKxOGzMiIgIrF69Gvfv38fhw4fZo5JIAAyU5DDV1dU4e/Yspk6diqioqM6vP3jwAI2NjcjIyBCwOiJyByqVCjabDVqt1qHjjhw5EosXL4ZGo8GlS5ccOjYR9Y6dpckhrFYr9u3bh9DQUMyYMeOF1/Lz8xEZGYlhw4YJVB0RuYuQkBAAz1oHhYaGOnTsCRMmoLGxEcePH4dSqURiYqJDxyei7nGGkhzi4sWLqKqqwrJly164AUer1eLu3bvIyMiASCQSsEIicgfBwcGQSCQO3Uf5vFmzZmHcuHH48ssv8fjxY6c8g4hexUBJdqurq8M333yDyZMnY+jQoS+8VlBQALlcjvHjxwtUHRG5E7FY7LDWQV0RiURYvnw5oqKisHPnTrt7XhJR3zBQkl06lrqVSiVmzpz5wmtmsxmFhYVISUmBTCYTpkAicjsqlcqpQc/Hxwdr166Fr68vduzYgba2Nqc9i4ieYaAku1y5cgWPHz/GsmXLIJVKX3jt1q1b0Ov1vBmHiF7gzBnKDv7+/sjJyYFer8fu3bthNpud+jyiwY6Bkgasvr4ep06dwsSJExEdHf3K6/n5+YiNjUVYWJgA1RGRu+qYoXR2z8jQ0FCsXbsWjx8/xoEDB9hOiMiJGChpQGw2G/bv34+goCDMmjXrlderqqpQUVHB2UkieoVKpYLVanXJdYnDhw/H8uXLce3aNXzzzTdOfx7RYMVASQOSl5eHR48eYenSpV3uj8zPz0dQUBASEhIEqI6I3JlKpQIApy97d0hKSsLs2bNx9uxZFBcXu+SZRIMNAyX1W2NjI06ePImMjAzExMS88np7ezuuX7/Oe7uJqEsKhQIikchlgRIApk6dirS0NBw4cABlZWUuey7RYMGf9tQvHUvd/v7+mDt3bpfvuXr1KiwWCyZMmODi6ojIE0gkEiiVSpcGSpFIhEWLFiE2Nha7d+9GbW2ty55NNBgwUFK/FBQUoLy8vNul7o57u8eMGYOgoCABKiQiT+Ds1kFdkUgkWLVqFRQKBXbs2IHW1laXPp/ImzFQUp81NTXh+PHjmDBhAuLi4rp8T3l5Oerq6ngYh4h65IrWQV2Ry+XIycmBxWLBzp07YTKZXF4DkTdioKQ+sdlsOHDgAHx9fbtd6gYAjUYDtVqNESNGuLA6IvI0KpUKDQ0NgrTyUSgUyMnJQW1tLfbu3ev09kVEgwEDJfVJcXExHjx4gMWLF8PX17fL97S0tODWrVu8t5uIeqVSqWA2m9HS0iLI86OiovDmm2/izp07OHbsmCA1EHkTBkrqVXNzM44ePYqUlBSMHj262/cVFBTAx8cHKSkpLqyOiDyRq1sHdSU+Ph4LFizAlStXkJeXJ1gdRN6AgZJ6ZLPZ8PXXX0MqleL111/v9n0WiwWFhYVITk6GXC53YYVE5IlCQkIACBsoASAzMxOTJk3CkSNHcOfOHUFrIfJkDJTUo2vXruHevXtYvHgx/Pz8un3fnTt30NLSwsM4RNQnPj4+UCgULj/p3ZV58+YhISEBX3zxBZ48eSJ0OUQeiYGSutXa2oojR45g/Pjxvd54k5+fj+HDhyMiIsJF1RGRpxPqpPfLRCIRVqxYgfDwcOzcuRNNTU1Cl0TkcRgoqUs2mw0HDx6ERCLB/Pnze3xvbW0tysvLkZGR4aLqiMgbdJz0dgdSqRRr166Fj48PduzYgfb2dqFLIvIoDJTUpZs3b+L27dtYuHAh/P39e3yvRqNBQEAAxo4d66LqiMgbCNk6qCuBgYHIyclBS0sL9uzZA4vFInRJRB6DgZJeodPpcPjwYSQmJiIxMbHH9xqNRly9ehVpaWnw8fFxUYVE5A1UKhWMRiP0er3QpXRSq9VYs2YNysvLcfDgQbcJu0TujoGSXnH48GHYbDYsXLiw1/dev34dRqMR6enpLqiMiLyJO7QO6kpMTAyWLl2KoqIinD9/XuhyiDwCAyW94NatW7h58yYWLFiAgICAHt9rs9mQn5+P+Ph4KJVK1xRIRF7DXVoHdSUlJQUzZszAqVOncP36daHLIXJ7XKOkTnq9HgcPHkRCQgKSkpJ6ff/jx49RXV3d41WMRETdkclkCAwMdMtACQAzZsyAVqvFvn37EBwczCtliXrAGUrqdOTIEVgsFixatKhPVyfm5+dDpVIhLi7OBdURkTdSqVRu0YuyKyKRCEuWLEF0dDR2796N+vp6oUsiclsMlATgWWPy69evY/78+QgKCur1/TqdDiUlJby3m4js4k6tg7oikUiwevVqBAQEYMeOHdDpdEKXROSWGCgJ7e3tOHjwIEaPHo3k5OQ+faawsBAikQipqanOLY6IvJq7NDfviZ+fH3JycmA0GrF7926YzWahSyJyOwyUhKNHj8JoNGLx4sV9mm20Wq0oKChAUlJSj9cxEhH1RqVSoa2tDW1tbUKX0qOQkBCsW7cOT58+xVdffcV2QkQvYaAc5O7fv4/i4mLMmzcPwcHBffrMvXv30NTUxHu7ichuHa2D3HUf5fOGDh2KFStW4ObNmzh58qTQ5RC5FQbKQcxgMODAgQOIi4tDWlpanz+n0WgwZMgQDBkyxInVEdFg4M6tg7oyduxYzJs3DxcuXEBBQYHQ5RC5DQbKQezYsWNob2/HkiVL+nywpqGhAffv3+fsJBE5hJ+fH/z8/DwmUALApEmTkJmZiYMHD+L+/ftCl0PkFhgoB6nS0lIUFhZizpw5/WpKrtFo4Ofnh3HjxjmvOCIaVNz9pPfLRCIR5s+fj1GjRmHPnj2orq4WuiQiwTFQDkJGoxEHDhxATEwMMjIy+vw5k8mE4uJipKamQiqVOrFCIhpM3LkXZXfEYjHefPNNqFQq5Obmorm5WeiSiATFQDkInThxAjqdDkuXLu1XD8mbN2+ira2tXyGUiKg3ntA6qCsymQw5OTkAgJ07d8JgMAhcEZFwGCgHmYcPHyI/Px+zZ8/u3AzfVxqNBqNGjeo8lUlE5AgqlQqtra0wGo1Cl9JvQUFByMnJQUNDA7744gtYrVahSyISBAPlIGIymbBv3z4MHz4cWVlZ/frskydPUFlZydlJInK4jl9SPXGWEgAiIiKwevVq3L9/H4cPH2aPShqUGCgHkVOnTqGlpaXfS93As3u7FQoFRo8e7aTqiGiw8vRACQAjR47E4sWLodFocOnSJaHLIXI5H6ELINeoqKjA5cuXMXfuXISGhvbrs21tbbhx4wamT58OsZi/gxCRY/n7+0Mul3vcwZyXTZgwAY2NjTh+/DiUSiUSExOFLonIZRgoB4GOpe6hQ4di0qRJ/f58cXExrFYrJkyY4ITqiGiwE4lEHtc6qDuzZs1CY2MjvvzySwQHB2PYsGFCl0TkEpxuGgS++eYbaLVaLFu2rN8zjDabDRqNBuPGjUNAQICTKiSiwc5TT3q/TCQSYfny5YiKisLOnTs9ftaVqK8YKL1cZWUlLl26hBkzZkCtVvf786WlpWhoaOBhHCJyKm+ZoQQAHx8frF27Fr6+vtixYwfa2tqELonI6RgovZjZbMa+ffsQGRmJqVOnDmiM/Px8REREIDo62sHVERH9N5VKhebmZpjNZqFLcQh/f3/k5ORAr9dj9+7dXvPPRdQdBkovdvbsWdTX1w9oqRsAmpqacPfuXWRmZvb7VDgRUX90nPT2piXi0NBQrF27Fo8fP8aBAwfYToi8GgOll3r69CnOnz+P6dOnIyIiYkBjFBQUQCaTYfz48Q6ujojoRd7QOqgrw4cPx/Lly3Ht2jV88803QpdD5DQ85e2FLBYL9u3bh/DwcEybNm1AY5jNZhQWFiIlJQUymczBFRIRvSgwMBA+Pj5eFygBICkpCY2NjTh16hRCQkKQmpoqdElEDscZSi90/vx51NTUYNmyZZBIJAMa49atW9DpdDyMQ0Qu4U2tg7oybdo0pKWl4cCBAygrKxO6HCKHY6D0MtXV1Th79iymTZuGqKioAY+j0WgQExMzoJPhREQDoVKpvGoP5fNEIhEWLVqE2NhY7N69G7W1tUKXRORQDJRexGq1Yt++fQgNDcX06dMHPE51dTUePXqEzMxMB1ZHRNQzb+lF2R2JRII333wTCoUCubm5aG1tFbokIodhoPQiFy5cQFVVFZYtWwYfn4Fvj83Pz0dgYCASEhIcWB0RUc9UKhW0Wi0sFovQpTiNr68vcnJyYDabsXPnTphMJqFLInIIBkovUVtbizNnzmDy5MkYOnTogMcxGAy4du0a0tPTB7z/kohoIFQqFWw2G5qamoQuxakUCgVycnJQW1uLvXv3wmq1Cl0Skd0YKL1Ax1K3UqnEa6+9ZtdYV69ehdls5r3dRORy3to6qCtRUVF48803cefOHRw/flzocojsxkDpBS5fvozKykq7l7o77u0eM2YMgoODHVghEVHvgoODIRaLB0WgBID4+HjMnz8fly9fRl5entDlENmFfSg9XH19PU6fPo2JEyfafT3iw4cPUVtbiwULFjioOiKivhOLxV5/MOdlWVlZaGxsxJEjR6BUKhEfHy90SUQDwhlKD2az2bB//34EBQVh9uzZdo+n0WgQFhaGmJgY+4sjIhoAb24d1J25c+ciISEBn3/+OZ48eSJ0OUQDwkDpwfLy8vDo0SMsXboUUqnUrrFaWlpw69YtZGRk8N5uIhKMNzc3745YLMaKFSsQHh6OnTt3ev2hJPJODJQeqqGhASdPnkRmZqZDZhQLCwshkUiQkpJif3FERAPUMUM52E4+S6VSrF27Fj4+PsjNzUV7e7vQJRH1CwOlB7LZbDhw4AACAgIwZ84cu8ezWCwoKCjA+PHj4evr64AKiYgGJiQkBBaLBc3NzUKX4nKBgYHIyclBc3Mz9uzZ49X9OMn7MFB6II1Gg/LycixZsgQymczu8e7evYuWlhbejENEghtMrYO6olarsXr1apSXl+PgwYOw2WxCl0TUJwyUHkar1eLEiROYMGEC4uLiHDJmfn4+oqOjERkZ6ZDxiIgGSqlUQiQSDbqDOc+LjY3F0qVLUVRUhPPnzwtdDlGfsG2QB+lY6vb19cW8efMcMmZdXR3KysrwxhtvOGQ8IiJ7SCQSKJXKQTtD2SElJQWNjY04deoUlEolxo8fL3RJRD3iDKUHKSoqQmlpKZYsWQK5XO6QMTUaDfz9/ZGYmOiQ8YiI7DUYT3p3ZcaMGUhOTsa+ffvw6NEjocsh6hEDpYdobm7GsWPHkJqailGjRjlkTKPRiOLiYkyYMMGuG3aIiBxpsDU3745IJMLSpUsRHR2NXbt2ob6+XuiSiLrFQOkBbDYbvv76a0ilUoctdQPAjRs3YDAYkJ6e7rAxiYjs1TFDyQMpz7YArF69GgEBAcjNzYVerxe6JKIuMVB6gGvXruHevXtYvHgx/Pz8HDKmzWZDfn4+4uPjoVQqHTImEZEjqFQqmM1mtLa2Cl2KW/Dz80NOTg4MBgN27doFs9ksdElEr2CgdHMtLS04cuQIxo8fj4SEBIeN+/jxY1RVVbFVEBG5ncHeOqgrISEhWLt2LZ4+fYqvvvqKs7fkdhgo3ZjNZsPBgwchkUgwf/58h46t0WgQEhKCkSNHOnRcIiJ7hYSEAGCgfNmwYcOwYsUK3Lx5EydPnhS6HKIXMFC6sZs3b+LOnTtYtGgR/P39HTauTqfDzZs3eW83EbklHx8fBAcHM1B2YezYsZg3bx4uXLiAgoICocsh6sSjvW5Kp9Ph0KFDSExMxNixYx06dlFREQAgNTXVoeMSETlKx53e9KpJkyahoaEBBw8ehEKhcFjnDyJ7cIbSTR06dAgikQgLFy506LhWqxUFBQVISkpy6KwnEZEjsXVQ90QiERYsWIBRo0Zhz549qK6uFrokIgZKd1RSUoKSkhIsWLAAAQEBDh37/v370Gq1PIxDRG6NrYN6JhaL8eabb0KlUiE3NxctLS1Cl0SDHAOlm9Hr9Th06BDGjBmDcePGOXx8jUaDqKgoDBkyxOFjExE5ikqlgsFgQFtbm9CluC2ZTIacnBwAQG5uLgwGg8AV0WDGQOlmjhw5AovFgkWLFjn8wExjYyPu3buHzMxMHsYhIrfG1kF9ExQUhJycHDQ0NOCLL76A1WoVuiQapBgo3cidO3dw/fp1zJ8/H4GBgQ4fX6PRwNfXF0lJSQ4fm4jIkdg6qO8iIiKwevVq3L9/H4cPH+Y2ARIEA6WbaGtrw9dff43Ro0cjOTnZ4eObTCYUFRUhNTUVUqnU4eMTETmSXC5HQEAAA2UfjRw5EosWLYJGo8Hly5eFLocGIbYNchPHjh2DyWTC4sWLnbIcXVJSgra2NmRkZDh8bCIiZ2DroP5JT09HY2Mjjh07BoVCgcTERKFLokGEgdIN3Lt3D8XFxViyZAmCg4Od8oz8/HyMHDkSoaGhThmfiMjRVCoV6uvrhS7Do8yePRtarRZffvklgoODMWzYMKFLokGCS94Ca29vx9dff42RI0ciLS3NKc948uQJKisrOTtJRB6lo3UQ9Z1IJMLy5csRFRWFnTt3coaXXIaBUmDHjx9He3s7lixZ4rST1xqNBsHBwYiPj3fK+EREzqBSqaDX69He3i50KR7Fx8cHa9euha+vL3Jzc9l6iVyCgVJApaWlKCwsxNy5c6FQKJzyjLa2Nly/fh3p6ekQi/k/NxF5Dp70Hjh/f3/k5ORAp9Phs88+g9lsFrok8nJMGAIxGAzYv38/YmJikJ6e7rTnXL16FVarFRMmTHDaM4iInIG9KO0TGhqKtWvXoqKiAgcOHGA7IXIqBkqBnDhxAnq9HkuXLnXaUrfNZkN+fj4SExOd0teSiMiZ/Pz84Ofnx32Adhg+fDiWL1+Oa9eu4cyZM0KXQ16MgVIA5eXl0Gg0mD17dueSjjOUlpaioaGB93YTkcfiwRz7JSUlYdasWThz5gyKi4uFLoe8FNsGuZjRaMT+/fsxfPhwZGVlOfVZGo0G4eHhiI6OdupziIichYHSMaZNm4bGxkYcOHAACoUCsbGxQpdEXoYzlC526tQptLS0OHWpGwCamppw584d3ttNRB4tJCSEgdIBRCIRFi1ahJiYGOzevRu1tbVCl0RehoHShR49eoQrV67gtddec3qD8YKCAkilUowfP96pzyEiciaVSoXW1lYYjUahS/F4EokEq1atgkKhQG5uLlpbW4UuibwIA6WLmEwm7N+/H8OGDcOkSZOc+iyLxYLCwkKkpKRALpc79VlERM7UcdKbB3Mcw9fXFzk5OTCbzdi5cydMJpPQJZGXYKB0kW+++QZarRZLly51ej/IW7duQafT8WYcIvJ4bB3keAqFAjk5OaitrcXevXthtVqFLom8AAOlCzx+/BiXLl3CzJkzoVarnf48jUaDESNGIDw83OnPIiJyJn9/f8hkMgZKB4uKisKbb76JO3fu4Pjx40KXQ16AgdLJzGYz9u/fj6ioKEyZMsXpz6upqcHDhw/ZKoiIvIJIJOJJbyeJj4/H/PnzcfnyZeTl5QldDnk4BkonO3PmDOrr612y1A0A+fn5CAwMxJgxY5z+LCIiV1CpVNxD6SRZWVmYNGkSjhw5grt37wpdDnkwBkonevr0KS5cuIDp06cjIiLC6c8zGAy4du0aJkyYAIlE4vTnERG5AlsHOdfcuXORkJCAzz//HE+ePBG6HPJQDJROYrFYsG/fPoSHh2PatGkueea1a9dgMpmcejc4EZGrqVQqNDU1wWw2C12KVxKLxVixYgXUajV27tyJpqYmoUsiD8RA6STnzp1DbW0tli1b5pLZwo57u8eMGYPg4GCnP4+IyFU6TnprtVphC/FiUqkU69atg4+PD3Jzc9He3i50SeRhGCidoLq6GufOncPUqVMRFRXlkmc+evQItbW1bBVERF6HrYNcIzAwEDk5OWhubsaePXtgsViELok8CAOlg3UsdYeGhmL69Okue25+fj5CQ0N5PysReZ2goCD4+PgwULqAWq3G6tWrUV5ejoMHD8JmswldEnkIBkoHu3jxIqqqqrBs2TL4+Pi45Jmtra24desWMjIyeG83EXkdkUjEgzkuFBsbiyVLlqCoqAjnz58XuhzyEK5JPINETU0Nzpw5gylTpmDo0KEue25hYSHEYjFSU1Nd9kwiIldi6yDXSk1NhVarxalTp6BUKjF+/HihSyI3xxlKB7Fardi/fz+USiVmzpzp0ucWFBRg/Pjx8PX1ddlziYhcic3NXW/GjBlITk7Gvn378OjRI6HLITfHQOkgly5dQmVlpUuXugHg7t27aG5u5s04ROTVVCoVtFotD4q4kEgkwpIlSzBs2DDs2rUL9fX1QpdEboyB0gHq6upw+vRpTJo0CdHR0S59dn5+PoYNG+ay0+REREJQqVSwWq3skehiPj4+WLNmDQICApCbmwu9Xi90SeSmGCh7YbZaoW03oaHNCG27CWar9YXXO5a6FQoFZs2a5dLa6uvrUVpaytlJIvJ6ISEhANg6SAh+fn7IyclBe3s7du3axQbz1CUeyulCs8GEMq0eVToDdKZXl1cCpBJEBsgRq/RHSVEBKioqsHnzZkilUpfWmZ+fD39/fyQmJrr0uURErqZQKCAWi3kwRyAhISFYt24dtm7diq+++gorV65kVxF6AQPlc3RGM4qqm1CjN0IEoLvuWzqTBaVaPR5o9Wg1SJA+eSpGjBjhylJhNBpRXFyMjIwMl+7ZJCISglgsZusggQ0bNgwrVqzAZ599BqVSiTlz5ghdErkRLnl/q0yrx/HyWtTqjQC6D5MdOl4PCB8Cc8w4lGldu6/kxo0bMBgMvLebiAYNnvQW3tixYzF37lxcuHABBQUFQpdDboRTWwBu17egpK51QJ8VicWw2oCi6iYYLBaMCQ1ycHWv6ri3e/To0Z37ioiIvF1ISAhKS0uFLmPQmzx5MhobG3Hw4EEoFAqMGjVK6JLIDQz6GcoyrX7AYfJlJXWtKHfBTGVlZSWqqqp4GIeIBpWO5ua8DlBYIpEICxYswKhRo7Bnzx5UV1cLXRK5gUEdKHVGM67WdN2C4ld/+R5WjhnS7V/11U+7/FxxTRN0RueegNNoNFAqlRg5cqRTn0NE5E5UKhUsFguam5uFLmXQE4vFePPNN6FSqZCbm4uWlhahSyKBDeol76LqJnT3i+68NeuRPCX7ha/ZbDb87v/+T6iHRiM0ouu+j7Zvl7+nRYc6ulwAgF6vx40bN/Daa69BLB7Uvw8Q0SCjUqkAPGsdpFAoBK6GZDIZcnJy8Ic//AG5ubl4++23IZPJhC6LBDJoA2WzwYSabw/gdCUhLQMJaRkvfO1WwRUY2towffGKbj9nA1CjN6LZYEKw3PFthIqKigAAaWlpDh+biMidKZVKiEQiNDQ0IDY2VuhyCEBQUBBycnLwxz/+EZ9//jnWrl3LyY5BatD+r16m1aO/HbTOff0VRCIRshe/0eP7RN+O72hWqxUajQZJSUnw9/d3+PhERO5MIpFAoVDwpLebiYiIwKpVq3D//n0cPnyYe1wHqUEbKKt0hl5bAz3PbDLh4uH9SEjLQPiwnq9XtH07vqM9ePAAWq0WGRkZvb+ZiMgLdRzMIfcyatQoLFq0CBqNBpcvXxa6HBLAoFzyNlmtXd6A05Pi89+gRduI7CXdL3c/T2eywGy1wseBU//5+fmIiorC0KFDHTYmEZEnCQkJwePHj4Uug7qQnp6OxsZGHDt2DEqlEmPHjhW6JHKhQTlDqTP2L0wCwLmvv4SPVIqp85f0+TOtA3hOdxobG3Hv3j1kZGTwuisiGrQ6mptzWdU9zZ49G+PGjcPevXsZ/AeZQRkorf38RtSm0yH/1FGkTJ2BoBCV057Tk4KCAsjlcowfP95hYxIReRqVSgWTyQSdTid0KdQFkUiE5cuXIyoqCjt37uT2hEFkUAZKcT9n+PJOHnl2uruPy90DfU53zGYzioqKkJqaCqnU8SfHiYg8xfOtg8g9+fj4YO3atfD19UVubi7a2tqELolcYFAGykCZpF/vP3dgL3z9A5A5a17fP2Sz4cnDUrS3t/ezuleVlJRAr9fzMA4RDXod180yULo3f39/5OTkQKfT4bPPPoPF4rgtYOSeBuWhHB+xGAFSSZ8O5jQ11OPapXOYtmg55H59b9Vj0rdiz4FdEIlEGDp0KOLi4hAXF4dhw4ZBIulfoM3Pz0dcXBzCwsL69TkiIm8jlUoRFBTEQOkBQkNDsXbtWmzbtg379+/H8uXLeQbAiw3KQAkAkQFylGr1vbYOunBoHyxmM7J7aGb+MhGAMUMjMO+nP0VpaSlKS0uRn5+Ps2fPQiqVIiYmBrGxsYiLi0N4eHiPf8CePn2Kx48fY/Xq1X1+PhGRN2PrIM8xfPhwLF++HF988QVCQkIwc+ZMoUsiJxm0gTJW6Y8HfWg+fu7Al1CEhr1yDWNPbN+OHyyXIj09Henp6bBaraiqquoMmCdPnsSxY8cQEBDQOXsZFxeH4ODgF8bKz89HcHAwEhIS+vuPSETklVQqFaqrq4Uug/ooKSkJjY2NOHXqFJRKJVJTU4UuiZxg0AbKYLkU4f4y1OqNPc5S/tPuA/0aVwRA7S975dpFsViMIUOGYMiQIZg2bRpMJhMqKio6A+b169cBAGFhYZ2zl1FRUbh+/Tqys7N5lRUR0bdUKhVKSkpgs9m4hOohpk2bhsbGRhw4cAAKhYJXZ3qhQRsoASAtQoHj5bVwZDszkejZuL2RSqWds5IAoNfrUVZWhtLSUty7dw/5+fkQiUSw2Wxoa2vDw4cPB7T/kojI26hUKhgMBrS1tfEaWg8hEomwaNEiNDU1Yffu3Xj33XehVquFLoscSGQb5N1hy7R6FFU3OWy8CREKxCjt/wbX0NCAP/7xj5BIJDCZTGhra+v3/ksiIm9UVVWFjz76CO+++y6GDRsmdDnUD+3t7fjkk09gNBrx7rvvIjAwUOiSyEEG9Qwl8Gyvo8FiQUldq91jJYYFOSRMAoBWq4VOp8PmzZsRHR09oP2XRETeqKN1UGNjIwOlh/H19UVOTg7+8Ic/YOfOndi8eTP7K3uJQR8oAWBMaBDkEgmu1jTBZkOvJ7+fJ8KzZe7UcMfMTHbQaDRQq9UYPnw4RCJRn/ZfhoaGdobLmJgY+Pr6OqweIiJ3IZfLERAQwNZBHkqhUGDdunXYsmUL9u7di1WrVvGcgBdgoPxWrNIf4f4yFFU3oUZvhAg9B8uO130MOswaE4MAmeP+VTY3N+P27dtYsGBBl0vafd1/aW//SyIid9Vxpzd5piFDhmDlypXYvXs3jh8/jtdff13okshODJTPCZD5YFp0KJoNJpRp9ajSGbpsfh4glSAyQI7H1wtwoyAf8xLegyP/VRYUFEAqlSI5OblP7/f398e4ceMwbtw4AM+Wgeztf0lE5M5UKhXqG7XQtptgtdkgFokQKJPAhzNdHiMhIQHz58/H4cOHERISgqysLKFLIjsM+kM5vTFbrWg1Wrr8htXc3Ixf/vKXmDlzJqZNm+aQ51ksFnzwwQcYM2YMFi1aZPd4z/e/LCsrw8OHD2GxWLj/kog8Uscv/GV1Wlgk0ld+Me74hb+jFzC5vyNHjiAvLw9r165FfHy80OXQADFQ2ungwYMoKSnBn/7pn0Imk9k93s2bN/H555/jBz/4ASIiIhxQ4Yte3n/59OlTANx/SUTuTWc093tLUri/DGkRCoduSSLHs1qt2LNnDx48eIC3334bUVFRQpdEA8BAaaempib88pe/xKxZszB16lS7x9uyZQtsNhvefvttB1TXu+f3X5aWlkKr1XL/JRG5lTKt3q5DkynhCsQ68NAkOZ7JZMKWLVvQ3NyM73znO1Aoeu/nTO6FgdIBDhw4gNu3b+O9996zq/1BTU0Nfvvb32LlypVISkpyYIV99/z+y7Kyss7+lyNGjOgMmNx/SUSucru+xUFt3QIxJjTIARWRs7S2tuLjjz+GTCbD22+/zZUyD8NA6QCNjY348MMPMWfOHEyePHnA4xw6dAglJSX42c9+5hYzgjabDU+fPuX+SyIShLtePEHOU1tbi48//hhDhw5FTk6OW/wspL5hoHSQffv24f79+/jpT386oFlKg8GA999/HxMnTsSsWbOcUKH9uP+SiFxFZzTjeHktrN38hHpw4xpyP/hn3CnSwGazISE1HRv+/K8RO7b71R2xCJgbo+aeSjdXVlaGTz/9FCkpKViyZAlXxDwEA6WDNDQ04MMPP8Trr7+OiRMn9vvzGo0Ghw4dwp/+6Z96zN6R5/dflpWVobGxkfsvicghzlfUo1Zv7HLPZOnNa/jfOcsRGjkE89ash9VmxdHcrWht0uKfPzuIoXGjuhxTBEDtL8O06FCn1k72Ky4uxr59+zBr1ixkZ2cLXQ71AX9NcxCVSoXk5GRcuHAB6enp8PHp+79am82G/Px8JCQkeEyYBPre/5L7L4moP5oNJtTojd2+vvOX/waZry/+add+BIWoAAAzlqzET+ZPw47//Gf8xa/+0OXnbABq9EY0G0xsKeTmUlNT0djYiFOnTiEkJESwcwXUdwyUDjRt2jRcu3YNRUVFyMzM7PPnKioqUFNTg3nz5jmxOucLCQlBeno60tPTX9l/2dX947GxsR4VoInINcq0+h5bA93SXEFq9mudYRIAQsIjMC5zMgq+OYE2nQ5+AQFdflb07fgpEfze4+5mzpwJrVaLr776CsHBwRg+fLjQJVEPGCgdKCwsDElJSTh//jzS0tL6PEuZn58PlUrVeZWiN+D940Q0UFU6Q4/tgUxGI+TyV79XyPz8YDYZUXHvNuJT07v8rO3b8VMcUyo5kUgkwpIlS9DU1IRdu3bh3XffRWgotyu4KwZKB8vOzsb169dx9epVpKd3/Q3tea2trSgpKcGcOXO8eim4q/vHy8vL8eDBA9y/f/+F+8djY2MxcuRI7r8kGoRMVmuXV94+b0jsSNy9WgCLxdL5PcJkNOLetUIAQH11VY+f15ksMFutvKbRA/j4+GDNmjX4+OOPkZubi3fffRf+/jyp744YKB1MrVZj3LhxOHfuHFJTU3sNRIWFhRCLxUhNTXVNgW7C398fiYmJSExMBPDi/kuNRoNz585x/yXRIKQz9hwmAWB+zib87v/+JX7zv/8My7/zI9isVnz+Xx9AW1sDADAa2nsdo9VogdKXgdIT+Pn54a233sIf/vAH7Nq1Cxs3buzXOQVyDZ7ydoKOBuVLly5FWlpat++zWq34xS9+gZEjR2Lp0qUurNC92Ww2VFVV4cGDB132v4yNjUVcXJxH7L/s6S54osHCarXCYDCgvb0d7e3tPf69QSyFZHRqr2Pu+M9/xv4//hZmkwkAMDIpBanTZuKL//oF/uLDjzFxzoIePz9zeChUfvZfl0uu8/jxY2zduhUJCQlYuXIlJxjcDCO+E4SHh2Ps2LE4d+4cUlJSIO4mQNy9exfNzc39OsAzGIhEIkRFRSEqKsoj9182G0wo0+pRpTN0uXQXIJUgMkCOWKU/T5qS27PZbDAajX0Lg928Zvo29HXFx8cHcrkcvr6+8PX1hV9IKPz6UNdbP/tLLHvnB6i4fwf+gcEYkTAWO97/JwDAkJiRvX5ezDDicYYNG4Y33ngDe/bsgVKpxJw5c4QuiZ7DGUonqaqqwkcffYTly5cjJaXr7d+ffvop2tvb8Z3vfMfF1Xm25/dfvtz/smP2Mjo62uX7L3VGM4qqm1CjN/Z4QhVA5+vh/jKkRSjYaJmcwmazwWw29xgGX/6/Xf19d8Ri8Qth8OW/7+m1jr9/+c+p2WrF/nvVA/rn/Z+rFqKxthr/dSq/21/kOywdHcHVAg918eJFHD9+HIsXL+7xrAJXiFyLP8WcJDIyEgkJCTh79izGjx//yje3+vp6PHjwAMuXLxemQA/mjvsvy7R6XK1pQsevZ739ltbxeq3eiOPltUgJVyCWV8LRSywWS69hr7dQaLVaux2/q5CnVCr7HAZ9fHwc/ufKRyxGgFTS68Gcl104tA/3rxdj01/8n17DZICUwcKTTZ48GY2NjTh48CCUSiVGjvzvGWmuEAmHM5RO9OTJE/z+97/HG2+8geTk5BdeO3r0KK5evYqf//zn3FzsQB37LzsCpiv2X96ub0FJXavd4ySGBWJMaJADKiJ30LFvsM97B7t4zWw2dzu+VCp9JeS9/H97+nuZTOa2e9CuVjehVKvv9hezm/mXsec37yN16gwEKkNw72ohTu3djZQp0/FXv90KSQ/fU0UA4pT+7EPp4axWK3bt2oWHDx/inXfeQWBIKFeIBMZA6WS5ublobGzED3/4w87fmk0mE95//31MmDABc+fOFbhC7+bs+8fLtHoUVTc5rN4JEQrEcKZScB37Bu0Jg0Zj9ze9SCSSbsNeX74ml8u9uqVWs8GEE+V13b5e9agcv/u7v0JZyXW06XQIHxaNmctXYcnm70Mq6/2gzZyYMM5OeQGj0YhPPvkEYlUk1MlZsKH31aHniQCIROAKkYMwUDpZZWUl/vCHP2DlypWdV0cVFRVh//79+JM/+ROoVKpeRiBH6th/2REw7dl/qTOacby8FtYe/gSV3ryG3R/+B24X5sNoaEdE9AjMXfUWFm3set+sWATMjVHzN2Y7dOwb7GlpuC9f6+5bo0gk6jX49TZDyFWJ3vV0l/dA8S5v73O1sg4PWk2w2Wx2zbhzhch+/K7mZEOHDsWoUaNw9uxZjBs3DiKRCBqNBqNGjWKYFIAj918WVf/3nsmuFJ//Bv/0w82ITUzCmz98D77+AaiqKEd99dNuP2OzPRt3MP/As1gsfToo0lMotFi633/X1f7A4OBgqNXqPoVBqVTqtkvF3iQtQoHj5bU9/hnrL5Ho2bjkHcq0ejxofdZBwN4/kyV1rfCVSLhCZAfOULpARUUF/vjHP2LVqlVQKBT4wx/+gHXr1iE+Pl7o0ug5/dl/2duSnL61BX8yfxoS0jLwP37x+14PCbzMU5fkbDab3WGwpxYzUqnUrplBmUzW7/8tSDjcUkLd6W2FyGQ0YNcv/w1n9n0BXXMTRiSMxbo//QukTJ3R7ZhcIbIP/625QHR0NOLi4nD27FlERkZCoVBg1KhRQpdFL3m+/+XUqVNf2H9ZVlb2Qv/L6MxsQKF+NuXRhXNffwltXS1y3vtLiMVitOv1kPn69inMiPDsB6mrDw3YbDaYTCa7wmBvLWa6CntBQUF93jvozfsG6VWxSn8YLBaHHHprvHMNwepMAAyU3qC3FaJf/eV7uHzsIBZt/A6iRsThmy934x+/vwF/t3UPxqZP7PIzXCGyDwOli0yfPh1btmxBbW0tXnvtNc6SeIDu7h8vLS2FXuYPnx6WWK5dPAf/wCDUVz/Fv/z4bTwpL4Wvvz+mL30Tb//V/4VM3v0hIBuAKp0BXXcv7V5Hv0F79g72tG+wq5DX0WKmtxPFcrncKS1myPuNCQ2CXCLpbMs1kEMXY4LlOPHoHrZuLcHmzZsREhLirHLJBZoNJtTouz/0du9aES4c2oeNf/43WPbuDwEAM5e/iZ8tmYXt//YP+H+7DnT5ORuAGr0RzQaTR64QCY2B0kVGjBiBkJAQNDY2Drp7u71Fx/7L0WPG4EAvjZefPiyDxWLGv/z4bcxeuQ5v/fx/4WbeRRz69I/QNTfh5+//tsfP60xmlNy+DWM/biPpad+gTCZ7JeQFBgYiNDS0T2HQnVvMkPeLVfoj3F/W77Yw6ufawgzdtAlbtmzBli1bGCo9XJlW3+N/A5eOfg2xRIK5a9Z3fk0m98Xsleuw4z//CXVPKxEWNbTLzwq1QuQNGChdpGM5EXjWn5L7Jz2Xzth7w+V2vQ6GtjbMW7sR7/71PwAAJs1bCLPJhGO7t2PtT/8cQ2LiehhBhANHT6BdWw8fH59XQp6vry8UCkWfwqBcLueMOHm8AJkPpkWHDrhxdVBQEDZt2oStW7di69at2LRpE0Olh6rSGXr8haLs1g0MiYmDf+CLp7ZHJad++/rNbgPlQFeIiIHSZR48eIDW1lZERETgzJkzGD16NGd8PJS1D+fYZN/2tZy2aPkLX5+2+A0c270dd4sLegmUwPoNGxCpCOS+QaLnBMulSIlQIAX9v1ovODiYodLDmazWXm9RaqytQYg64pWvd3ytsabnFSadyQKz1crblPqJ/7ZcJD8/H5GRkZg7dy6ePHmCBw8eCF0SDZC4D78IqL79xqUMDXvh64rQZ5u9W5t7P7ka4O/PMEnUAx+xGEpfKVR+Mih9pX0KAB2hUiwWY+vWrdBqtc4vlBymLytExvZ2+HTR4F4qlz973dDe6xitfXgOvYiB0gW0Wi3u3r2LjIwMxMXFYdiwYThz5ky3ByDIvQXKeg95ceOeXbXZUFP1wtc7fjNWhPTeg7QvzyGi/gsODsbmzZshFouxZcsWhkoP0tcVInMXN1WZvu1C0dOhyP48h17EQOkCBQUFkMvlGD9+PEQiEWbMmIHHjx+jtLRU6NJoAHzEYgRIew57UxYsAQCc/HznC18/sScXEh8fjMua0uPnA6Q9L90RkX0YKj1TX1aIQtThaKx9dVm742sh4a8uhw/kOfQi/sRyMrPZjMLCQqSkpED27RT8yJEjMWTIEM5SeiCDwYC8vDzUlN6FzWrt9n1xieMxa+VanPv6S/zHz76PI7lb8O/vfR/nD36FZe/8EKqIyG4/KwIQGSB3QvVE9Dwuf3uevqzcxIwZhyflpdC3trzw9XtXiwAAsWPHOeQ59CIGSicrKSmBXq9HZmZm59c6ZikrKipQXl4uXHHUZ9XV1fj666/xH//xHzhy5AjkOi1Evcwgfv///gvW/OTPcO9qET75p79F2a0bePuv/g5v/fyvevycDc/apBCR8ykUCmzatAkikYih0gP0ZYVo8uuLYbVYcHz3p51fMxkNOPXlboxOmdDtCe8OXCEaGF696GR//OMf4ePjg40bN77wdZvNht///veQy+XYtGmTQNVRT8xmM0pKSqDRaFBRUYHAwECkp6djwoQJCA4OxvmKetTqjf1qtNwbEZ71zuNNDUSu1dTUhC1btgAANm/eDIWCfQjd1dXqJpRq9T1+7/33976PvBOHsXjTdxE5PBbffPUZ7l8vxt9+8hnGZU7q9nMiAHFKf/ahHAAGSieqqqrCRx99hNWrV2Ps2LGvvH779m3s3r0bmzdvxogRIwSokLqi1Wqh0WhQVFQEvV6P2NhYZGRkICEh4YVT173dJTsQvEuWSDgMlZ6h2WDCifK6Ht9jNLRj5y/+FWcP7IWu6dld3mt/+hdIy57Z6/hzYsJ4U84AMFA60YEDB3Dv3j289957XTaWttls+OijjxAQEIANGzYIUCF1sFqtuH//PjQaDe7duwe5XI7U1FRkZGQgLCys28+VafUoqu69BVBfTYhQIIbL3USC0Wq12Lp1K0QiETZt2sRQ6aa4QuR+uEnASdrb23H9+nWkp6d3e0uJSCTC9OnTUVpaioqKChdXSACg0+lw/vx5/OpXv8LOnTvR0tKCJUuW4Oc//znmz5/fY5gEnu11TAwLdEgtiWFBDJNEAlMqldi0aRNsNhu2bt2KpibH/cJIjpMWoYCjD2KLRM/GpYHhDKWTXLlyBceOHcN7772HoKCgbt9ns9nw29/+FsHBwVi/fn237yPHsdlsePz4MfLz81FSUgIASEpKQkZGBoYOHTqgG4zKtHpcrWmCzdbzHcMvE+HZN7HUcM5MErkTrVaLLVu2QCwWY/PmzQgODha6JHoJV4jcCwOlE9hsNvzmN79BeHg4Vq1a1ev7b9y4gS+++ALvvvsuhg0b5oIKByej0Yhr165Bo9GguroaISEhyMjIQGpqKvz97f8mojOaUVTdhBq9ESL0HCw7Xg/3lyEtQsE9k0RuiKHS/d2ub0FJXavd4ySGBWFMqGNWmwYrBkonKCsrw7Zt27Bp0ybExMT0+n6r1Yrf/va3CAkJQU5OjvMLHGRqamqg0Whw9epVmEwmxMfHIyMjAyNHjnTKferNBhPKtHpU6Qxd3jkbIJUgMkCOWKU/N34TubmOUCmRSLBp0yaGSjdUptWh8EkjIBL12s7teVwhciwGSif47LPPUFtbix/96Ed9DizXr1/H3r178d3vfhdDhgxxcoXez2Kx4NatW9BoNHj48CECAgIwYcIEpKenu3STvdlqRavRAqvNBrFIhEAZ+5sReZrGxkZs3bqVodJNFRcX49CJU8hcuhotNglXiATCQOlgzc3N+OCDDzB//nxkZWX1+XNWqxW/+c1vEBYWhrVr1zqxQu/W1NSEgoICFBYWQqfTYcSIEcjIyMDYsWNfaPlDRNQfDJXuqa2tDR9++CHi4uKwcuXKHleIbDYb/H3EGBLkxxUiJ2Asd7DCwkL4+PggOTm5X58Ti8XIzs7GV199haqqKkRGdn81H73IZrPhwYMH0Gg0uHv3LqRSKVJSUpCRkYHw8HChyyMiLxASEoJNmzZhy5Yt2Lp1KzZv3tzjgUtyjdOnT8NsNmPevHkAgGC5FCkRCqTgxRWi5qYmbP/4d1ifk4PYHq6+pYHj2psDWSwWFBQUIDk5Gb6+vv3+/Pjx4xESEoKzZ886oTrvo9frcfHiRfzqV7/Cjh07oNVqsXDhQvzZn/0ZFi5cyDBJRA4VEhKCzZs3w2w2Y8uWLWhpaen9Q+Q0T58+hUajwcyZM7sM9z5iMZS+Uqj8ZBgeHgpYraitrRWg0sGBM5QOdOfOHbS2tr5wb3d/dMxS7t+/H9XV1YiIiHBwhZ7PZrOhsrISGo0GN27cAAAkJibijTfewLBhw5xyyIaIqEPHTOXWrVuxdetWbNq0iTOVArDZbDh48CDUajUmTpzY6/vFYjHCwsIYKJ2IM5QOlJ+fj+HDh9sVBJOTk6FUKnHu3DkHVub5jEYjCgsL8bvf/Q4ff/wxHj58iJkzZ+JnP/sZVqxYgejoaIZJInIJlUqFTZs2wWQyYevWrZypFEBRUREqKyuxcOHCbi8PeZlarWagdCIGSgepra1FeXk5MjIy7BpHIpFg2rRpuHnzJv/DB1BXV4fDhw/j/fffx4EDBxAUFIScnBz8yZ/8CaZNm4aAgAChSySiQagjVBqNRoZKF9Pr9Thx4gRSUlIwYsSIPn+OgdK5GCgdRKPRICAgAGPHjrV7rNTUVAQHBw/aWUqLxYKSkhJs3boVv/71r3Hjxg1kZGTgpz/9KXJycjB69Og+/0ZKROQsKpUKmzdvhtFoxLZt29Daan+DberdyZMnYbVaMWfOnH59Tq1WQ6/XQ6fTOamywY0/lR3AaDTi6tWrSEtLg4+P/dtSO2Ypb9y4gbq6OgdU6Bmam5tx+vRpfPDBB9izZw8sFgtWrFiBn/3sZ5gzZw5CQkKELpGI6AUdM5UGgwFbt25lqHSyyspKFBYWYtasWQgM7N/NNmq1GgA4S+kkDJQOcP36dRiNRqSnpztszLS0NAQGBnr9LKXNZkNpaSk+++wzfPDBB7h06RISEhLwgx/8AO+88w7Gjx/vkJBOROQsoaGhDJUuYLVacfDgQURGRg5oe5lKpYJYLGagdBL+pLaTzWZDfn4+4uPjoVQqHTauj48Ppk6diqNHj2LGjBlQqVQOG9sdtLW1obi4GAUFBaivr4darcaCBQuQnJwMuVwudHlERP3SESo7+lRu2rSp3zNo1LOCggI8ffoU77zzzoC2PUkkEoSGhjJQOglnKO1UUVGB6upquw/jdGXChAkICAjwqlnKJ0+eYN++fXj//fdx4sQJREVFYfPmzfjhD3+IzMxMhkki8lihoaHYvHkz2tvbuafSwXQ6HU6dOoW0tDRER0cPeBy1Wj2otpK5Emco7aTRaKBSqTBy5EiHjy2VSjF16lQcO3YM06dP99g9hCaTCTdu3IBGo8GTJ0+gUCgwffr0zmV9IiJv0TFTuXXrVmzbtg2bNm1iNwoHOHHiBABg9uzZdo0TFhaGgoICR5REL+EMpR10Oh1u3ryJjIwMp/VATE9Ph7+/P86fP++U8Z2pvr4eR48exfvvv4/9+/fD398fa9euxU9/+lNkZ2czTBKRVwoLC8OmTZvQ1taGrVu38lSxnSoqKlBcXIzZs2fbHc7VajV0Oh30er2DqqMOnKG0Q2FhIcRiMVJTU532DKlUiilTpuDkyZPIzs526D5NZ7Barbhz5w40Gg1KS0vh5+eHCRMmID093ev2gRIRdacjVHbMVG7cuJEzlQPQcRBnyJAhmDBhgt3jdZz0rqurw/Dhw+0ej/4bZygHyGq1oqCgAElJSfDz83PqszIyMuDr6+vWs5QtLS04c+YMPvjgA3z22WcwGo1Yvnw5fv7zn2Pu3LkMk0Q06HSESr1ej23btnGmcgDy8/NRXV3drxtxehIaGgqRSMSDOU7AGcoBunfvHpqamgZ8b3d/yGQyTJ48GadPn0Z2djYUCoXTn9kXNpsN5eXl0Gg0uH37NiQSCcaPH4+MjAxERUUJXR4RkeA6QuWWLVs4U9lPra2tOH36NNLT0zF06FCHjOnj4wOVSsVA6QScoRwgjUaDIUOGYMiQIS55XscJ6AsXLrjkeT1pb2/HlStX8Jvf/Abbtm1DTU0N5s2bh5///OdYsmQJwyQR0XM6QqVOp+NMZT8cP34cYrHY7oM4L+MVjM7BQDkADQ0NuH//vktmJzvI5XJMmjQJhYWFgt0Z+/TpUxw4cADvv/8+jh07hvDwcGzatAk/+tGPMHHiRPj6+gpSFxGRu1Or1S+ESh4K6dnDhw9x7do1zJkzx+HbyhgonYNL3gOg0Wjg6+uLcePGufS5WVlZuHTpEi5cuID58+e75Jlmsxk3b96ERqPB48ePERQUhKlTp2LChAkICgpySQ1ERN6gI1Q+f1DH399f6LLcjsViwcGDBzFs2DCkpaU5fHy1Wo2Wlha0t7dzIsSBOEPZTyaTCUVFRUhLS4NUKnXps319fTFx4kQUFBQ4vWFuQ0MDjh8/jvfffx9fffUVZDIZVq9ejffeew8zZsxgmCQiGgC1Wo2NGzeipaWFM5XdyMvLQ11dHRYuXOiUlny809s5GCj76ebNm2hvb3fKzTh9MXHiREgkEly8eNHhY3e0/NmxYwd+9atfobCwECkpKfjJT36CDRs2YOzYsQ45ZUdENJh1bBdiqHxVc3MzvvnmG6ce7uRJb+fgknc/5efnY9SoUYK1wfHz80NWVhYuX76MqVOnOuS0YGtrK4qKilBQUICmpiYMGTIES5cuRVJSkstnYYmIBoOOULl161Zs374dGzZs4PI3gGPHjkEqlWLWrFlOe4ZUKkVISAgDpYNxuqkfKisr8eTJE8FmJztMmjQJIpEIly5dGvAYNpsNDx8+xBdffIH//M//xNmzZxEbG4vvfve7+O53vyvIkj4R0WDSESqbm5uxfft2tLW1CV2SoEpLS3Hz5k3MnTvX6XsbeTDH8ThD2Q8ajQYKhQKjR48WtA5/f39kZmYiLy8PU6ZM6ddvtQaDAdeuXUN+fj5qa2uhUqkwZ84cpKamOr1BOxERvSg8PBwbN27Etm3bOg/qDMbvxRaLBYcPH8bw4cORnJzs9OeFhYXh+vXrTn/OYMIZyj5qa2vDjRs3kJ6e7hb7CKdMmQIAuHz5cp/eX11dja+//hrvv/8+Dh8+jLCwMGzYsAE/+clPMHny5EH5DYyIyB1ERERg48aNaGpqGrQzlZcuXUJ9fb3TDuK8TK1Wo7m5GQaDwenPGiw4Q9lHxcXFsFqtDrlL1BE6ZimvXLnSbSA0m824desW8vPzUVFRgcDAQEyaNAnp6ekIDg4WoGoiIupKRETEK3sqB8sv+k1NTTh79iwmTpyIiIgIlzzz+Tu9HXULz2An/FSbB7DZbNBoNBg3bpxbXZk1efJkWK1WXLly5YWva7VanDhxAv/5n/+JvXv3QiKRYNWqVXjvvffw2muvMUwSEbmhjlCp1WoH1Uzl0aNHIZfLMXPmTJc9k62DHI8zlH3w4MEDNDQ0YNmyZUKX8oLAwEBkZGTg8uXLyMrKQmVlJfLz83Hv3j3I5XKkpKQgIyOj8w8OERG5t47l723btuHTTz/Fhg0bvLr59v3793Hr1i2sWLECcrncZc+VSqVQKpUMlA7EQNkHGo0GERERiI6OFrqUV6SmpuLKlSv41a9+hfb2dkRGRmLJkiVISkqCTCYTujwiIuqnyMjIzlDZsfztjaHSbDbj8OHDiImJQVJSksufz5PejsUl715otVrcvXsXGRkZLtko3Bc2mw0VFRXYu3cvfv/73wMAjEYjNm7ciO9973uYMGECwyQRkQfrCJWNjY3Yvn072tvbhS7J4S5evAitVuuygzgvY6B0LAbKXhQUFEAmk7mkjUFvjEYjNBoNPvroI/zxj3/E48ePMWvWLHz/+9+HSCTC48eP3Sb0EhGRfSIjI7FhwwY0NDR4XahsbGzEuXPnMGnSJMG2ZanVami1WhiNRkGe72245N0Ds9mMoqIipKSkCDrjV1NTA41Gg6tXr8JkMiE+Ph5z5szByJEjOwNkWloaLl26hIkTJ3J2kojIS0RFRb2wp3L9+vVesfx99OhR+Pv7Y8aMGYLV8PxJ7yFDhghWh7dgoOzBrVu3oNPpBLkZx2Kx4NatW9BoNHj48CECAgIwceJEpKenQ6FQvPL+adOmobCwEPn5+Zg6darL6yUiIufwtlB59+5d3LlzB6tWrRJ0AiQsLAzAs5PeDJT2Y6DsgUajQUxMjEun45uamlBQUIDCwkLodDqMGDECK1euxNixYyGRSLr9nEKhQGpqKi5evIjMzEzOUhIReRFvCZUmkwmHDx9GXFwcxo4dK2gtcrkcCoWC+ygdhIGyG9XV1Xj06BFWrVrl9GfZbDY8ePAAGo0Gd+/ehVQq7Wz5Ex4e3udxsrOzUVxcjIKCAkyePNmJFRMRkatFRUVhw4YN2L59O3bs2IH169e7tNWOI5w/fx4tLS1Yv369W+z558Ecx2Gg7EZ+fj4CAwORkJDgtGfo9XoUFxdDo9GgsbERERERWLhwIcaPHz+gbxJKpRLJycm4cOECMjIyIJVKnVA1EREJZciQIZ2hsmOm0lNCZUNDAy5cuIApU6YgNDRU6HIAPFv2vnPnjtBleIVBHyjNVitajRZYbTaIRSIEyiQwG424du0apkyZ0uMy80DYbDZUVlZCo9Hgxo0bAIDExES88cYbGDZsmN2/sWVnZ+Pq1asoLCzExIkTHVEyERG5kY5Q+fzyt7uHSpvNhsOHDyMwMBDZ2dlCl9NJrVbj8uXLMJlMnISx06AMlM0GE8q0elTpDNCZLK+8LrGYoB6fifjxqQ57ptFoxI0bN6DRaPD06VMolUrMnDkTaWlpDr3OUaVSdc5Spqenw8dnUP5PTETk1Z6fqdyxYwfeeusttw6Vt2/fxv3797FmzRq3Cm4d28rq6+sRGRkpcDWebVClDZ3RjKLqJtTojRABsHXzPotECtXocbhc14ZwvQVpEQoEyAb2r6qurg4ajQbFxcUwGAwYPXo0cnJyMHLkSIjFzmkDmp2djWvXrqGoqAiZmZlOeQYREQlr6NChHhEqjUYjjh49itGjRzt1G9lAPH/Sm4HSPoMmUJZp9bha0wTbtymyuzDZoWPpuVZvxPHyWqSEKxCr9O/TsywWC+7cuQONRoOysjL4+/sjIyMD6enpCAkJseOfom9CQ0ORlJSE8+fPIy0tjbOUREReyhNC5blz59Da2oqNGze6xUGc5/n6+iIoKAg1NTVCl+LxBkXSuF3fgpK61gF91gbAZgOKqptgsFgwJjSo2/c2NzejsLAQBQUFaG1tRXR0NFasWIGxY8e6PNRlZ2fj+vXrKC4uFqSPJhERucbzoTI3Nxc5OTluEyrr6upw8eJFZGdnQ6VSCV1Ol9RqNerq6oQuw+N5faAs0+oHHCZfVlLXCl+JBDHPzVTabDaUlZVBo9Hg9u3b8PHxQXJyMjIzMxEREeGQ5w6EWq3GuHHjOmcpHX24iIiI3MfQoUOxfv16fPrpp8jNzcVbb70leD/ijoM4CoXCrS/cUKvVuH//vtBleDyvDpQ6oxlXa5q6fO1JeSl2/fJfcasgH61NjQiLGorsxW9g2Ts/gNyv+6Xt4pomqP1lEFtMuHr1KjQaDerr66FWqzF//nykpKS4zW+G06dPx29/+1tcvXoVEyZMELocIiJyomHDhmH9+vUvLH8LGSpLSkpQWlqKdevWudVBnJep1Wrk5eXBbDZzi5gdvPrfXFH1f++ZfF7d00r85epF8A8MwoK3NiNQEYK7xRrs/tW/o/TmNfzlb7Z0O6bVZsPR6/dx68gXsFqtSExMxJIlSzB8+HC32xsSHh6OxMREnDt3DikpKZylJCLycsOGDXtlT6UQodJgMODo0aNISEhAfHy8y5/fH2q1GjabDfX19YKuLHo6rw2UzQYTavTGLl87s+8L6Jqb8A87vsLw0c9OnM1bsx42qw3f7NuD1iYtAhXKbkYWAYEKTHltNjKTkxAYGOicfwAHyc7OxkcffYTr168jNTVV6HKIiMjJOmYqO5a/c3JyXB4qz5w5g7a2NsyfP9+lzx2IjuuVa2trGSjt4Jy+NW6gTKtHd/OFel0LAED5bbuADsrwcIjFYvhIe/6DJwKgGjnW7cMkAERGRmLMmDE4d+4crFar0OUQEZELREdHY/369Xj69Clyc3NhNHY9weIMNTU1uHLlCrKzs6FUKl323IHy8/NDYGAgr2C0k9cGyiqdodvWQElZUwAAv/nff4ayWzdQ97QSFw7tw7Gd27Bww7vw9e+5PZDt2/E9xfTp09HQ0NB5Mw8REXk/IUKlzWbDoUOHoFQqMWXKFKc/z1F4p7f9vDJQmqzWLm/A6ZCW/RrW/elf4OrFs/gfb8zD91/LxPs//yEWrH8Hb//V3/XpGTqTBWYPmfGLiopCfHw8zp49y1lKIqJBJDo6Gm+99RaePn2KnTt3Oj1U3rhxAw8fPsTChQs96oBLWFgYA6WdvDJQ6ozdh8kO6qHRSMyYhB/8/b/hz3/5B8xauRZ7P/olDn36xz4/p7UPz3EX06dPR319PUpKSoQuhYiIXGj48OF46623UFlZiZ07d8JkMjnlOe3t7Th27BgSExMxcuRIpzzDWcLDw9HQ0ACLxXN+rrsbrwyU1q6Odj/n/MGv8F//58/xo3/4d8xd/RYmzVuIH//j+5i5fBU+/Y9/REtjg0Oe406GDh2KUaNG4ezZs7B5UN1ERGS/4cOHY/369aisrERubq5TQuU333wDg8GA119/3eFjO5tarYbVakVDQ99+/tOrvDJQintp33Nk51bEjk1CaOSQF76eOet1GNraUHqrb3sNe3uOu5k+fTpqa2tx69YtoUshIiIXez5UOnqmsrq6Gnl5eZgxYwaCg4MdNq6rdJz05hWMA+eVgTJQ1nO/xaa62i73EprNz/5wWfs45d3bc9xNdHQ04uLiOEtJRDRIdSx/P3782GGh0maz4eDBgwgNDcWkSZMcUKXr+fv7w9/fn/so7eCVgdJHLEaAtPuwFxUTh7KSG3hS9uCFr58/+BXEYjFGxI/t9RkBUgl8xJ73r2/GjBmorq7GnTt3hC6FiIgEMGLEiM5QuWvXLrtD5dWrV1FRUYGFCxd69AUavNPbPp6XiPooMkDebR/KZe/+CFarBX+9/g3s+c1/4kjuFvzD99Yj78QRzFq5FqqIyB7HFn07vicaPnw4YmJicObMGc5SEhENUh2hsqKiwq5Q2dbWhuPHjyMpKQmxsbEOrtK12DrIPl4bKGOV/t32oRyXOQn/b+d+xI1LxpGdW/HJP/0tqh+VI+e9v8T3/vafex3b9u34nmrGjBmoqqrC3bt3hS6FiIgEMmLECOTk5NgVKk+fPg2z2Yx58+Y5oULX6pihZHu9gfGcJlH9FCyXItxfhlq9sctgOTo5DX/9u0/7Pa4IgNpfhmC5+15035sRI0Zg+PDhOHv2LOLj493uDnIiInKNmJgY5OTkIDc3F7t27cLatWshlfbt59vTp0+h0Wgwd+5cBAUFOblS53v+pHfYSzfpUe+8doYSANIiFHB0VhKJno3ryUQiEWbMmIEnT57g/v37QpdDREQC6giVjx49wu7du/s0U9lxEEetViMrK8sFVTrf83d6U/95daAMkPkgJdyx4S81XIEAmedP7MbGxiI6Opp7KYmIqDNUPnz4ELt374bZbO7x/UVFRaisrPT4gzjPCwgIgJ+fHwPlAHl1oASe7XVMDAu0b5BvA1dQWyNiPHjv5PNEIhGmT5+OyspKlJaWCl0OEREJLDY2tjNU7tq1q9tQqdfrceLECaSkpGDEiBEurtJ5RCIRD+bYwesDJQCMCQ1CWoQCYhG6PfndHREAsVgEef1jXNy3B0VFRc4oURAjR47E0KFDOUtJREQAnoXKdevW9ThTefLkSVitVsyZM0eACp2Ld3oP3KAIlMCzmcq5MWqo/WUAeg+WHa+r/WWYG6PGwskZSE9Px4EDB3Dz5k2n1uoqHbOUFRUVKC8vF7ocIiJyA3FxcVi3bh3Ky8tfCZWVlZUoLCzErFmzEBho5+qfGwoPD+dJ7wEaNIESeLanclp0KObEhCFO6d9t8/MAqQRxSn/MiQnDtOhQBMh8IBKJsGjRIiQlJWHv3r1e03Jn9OjRiIqKwpkzZ4QuhYiI3MTzofKzzz6D2WyG1WrFwYMHERkZiYyMDKFLdAq1Wg2LxYLGxkahS/E4nn+6ZACC5VKkRCiQAsBstaLVaIHVZoNYJEKgrPsbcEQiEZYvXw6TyYTPPvsMb731lsc3cu048b1r1y6Ul5cjJiZG6JKIiMgNxMXFYe3atdi1axc+++wzxMXF4enTp3jnnXcg9sCb4vri+ZPeoaGhAlfjWbzzv4h+8BGLofSVQuUng9JX2ut1imKxGCtXrsSIESOwc+dOPH782EWVOk98fDwiIiJw9uxZoUshIiI3MnLkSKxduxZlZWU4fvw4kpOTER0dLXRZThMYGAi5XM59lAMw6APlQPj4+GDNmjWIiorCjh07UFVVJXRJdumYpSwrK8OjR4+ELoeIiNzIyJEjMXz4cFitVrS2tvbaUsiTdZz05p3e/cdAOUAymQzr1q1DSEgItm/f7vH/8Y0ZMwbh4eGcpSQiohc8evQIpaWlyMrKwsOHD7Fnzx6vDpVsHTQwDJR28PX1xfr16xEQEIDt27dDq9UKXdKAdZz4fvDggVcs4xMRkf2sVisOHTqEIUOG4PXXX8fatWvx4MED7NmzBxaLRejynKIjULKdXv8wUNrJ398fGzZsgEQiwbZt29DS0iJ0SQM2duxYhIWFcZaSiIgAAPn5+aiursbChQshFosxatQorw+VarUaZrPZoyeJhMBA6QBBQUHYuHEjzGYztm/fDr1eL3RJAyIWizF9+nTcu3cPT548EbocIiISUGtrK06fPo309HQMHTq08+sdofL+/fteGSp5p/fAMFA6iFKpxMaNG6HT6fDpp5+ivb1d6JIGZNy4cQgNDeUsJRHRIHf8+HGIxWLMnj37lddGjRqFNWvWeGWoDA4OhkwmY6DsJwZKBwoLC8OGDRvQ2NiI3NxcGI1GoUvqN7FYjOzsbNy5cwdPnz4VuhwiIhLAw4cPce3aNcyZMwd+fn5dvmf06NGdofLzzz/3mlDJO70HhoHSwSIjI/HWW2+hqqqq23tQ3d348eMREhKCc+fOCV0KERG5mMViwcGDBzFs2DCkpaX1+N7Ro0dj9erVuHfvnleFSgbK/mOgdIJhw4Zh3bp1ePjwIb744guP+wPWMUt569YtVFdXC10OERG50JUrV1BXV4eFCxdCJBL1+v74+HisXr0ad+/e9ZpQyZPe/cdA6SSxsbGdf8D27dvncf9RJicnQ6lUci8lEdEg0tzcjDNnziAjIwNRUVF9/lx8fDzWrFmDu3fveuREysvUajVMJhOampqELsVjMFA6UXx8PFasWIEbN27g4MGDHhUqJRIJpk2bhpKSEtTU1AhdDhERucCxY8cglUoxa9asfn+2Y6byzp07Hh8qedK7/xgonWzcuHFYsmQJCgoKcPz4cY8KlampqVAoFNxLSUQ0CJSWluLmzZuYO3cufH19BzRGQkJCZ6jcu3evx4ZKhUIBqVTKQNkPDJQukJaWhvnz5+PSpUsetYTcMUt548YNj79akoiIumexWHD48GEMHz4cycnJdo3VESpv377tsaGSJ737j4HSRSZOnIjXXnsN33zzDS5fvix0OX2WmpqKoKAgzlISEXmxS5cuob6+vs8HcXqTkJCAVatWdYZKq9XqgCpdS61WczKlHxgoXSg7OxtTpkzB0aNHUVhYKHQ5feLj44Np06bh+vXrqK+vF7ocIiJysKamJpw9exYTJ05ERESEw8YdM2aMR4fKsLAwnvTuBwZKFxKJRJgzZw4yMjJw4MAB3LhxQ+iS+mTChAkICAjA+fPnhS6FiIgc7OjRo5DL5Zg5c6bDx+4Ilbdu3fK4UKlWq2EwGNDS0iJ0KR6BgdLFRCIRFi5ciOTkZHz55Ze4c+eO0CX1ysfHB1OnTsXVq1fR2NgodDlEROQg9+/fx61btzBv3jzI5XKnPGPMmDF48803cevWLXz55ZceEyp50rt/GCgFIBKJsGzZMiQkJGDPnj0oLS0VuqRepaenw9/fn3spiYi8hNlsxuHDhxETE4OkpCSnPmvs2LF48803UVJS4jGhUqlUwsfHh4GyjxgoBSIWi7FixQrExsZi165dqKioELqkHkmlUkyZMgVXr16FVqsVuhwiIrLTxYsXodVqHXYQpzdjx47FypUrcfPmTY8IlWKxuHMfJfWOgVJAPj4+WL16NaKiorBjxw48ffpU6JJ6lJGRAV9fX+6lJCLycI2NjTh37hwmTZrUubTrComJiXjzzTdx8+ZNfPXVV24fKtk6qO8YKAUmlUqRk5OD0NBQfPrpp279H65MJsPkyZNRVFTE66iIiDzY0aNH4e/vjxkzZrj82R2h8saNG24fKnmnd98xULoBuVyOt956C4GBgdi+fbtbH3zJzMyEXC7HhQsXhC6FiIgG4O7du7hz5w5ef/11yGQyQWpITEzEypUr3T5UqtVqtLe3o7W1VehS3B4DpZvw9/fH+vXrIZVKsW3bNjQ3NwtdUpfkcjkmTZqEwsJCt62RiIi6ZjKZcPjwYcTFxWHs2LGC1jJu3LjOULlv3z63DJU86d13DJRuJCgoCBs2bIDVasX27duh0+mELqlLWVlZkEqluHjxotClEBFRP5w/fx4tLS0uO4jTm45Qef36dbcMlSEhIZBIJAyUfcBA6WaUSiU2btyItrY2fPrpp2hvbxe6pFf4+vpi0qRJKCgo4DIAEZGHaGhowIULFzBlyhSEhoYKXU6ncePGYcWKFbh+/Tr279/vVqGSJ737joHSDYWGhmLDhg3QarXIzc2F0WgUuqRXTJw4ERKJhLOUREQewGaz4fDhwwgMDER2drbQ5bwiKSkJK1aswLVr19wuVPKkd98wULqpiIgIrF+/HtXV1di1axfMZrPQJb3A19cXEydOhEajcduleSIieub27du4f/8+5s+fD6lUKnQ5XXo+VB44cMBtQiXv9O4bBko3NnToUKxbtw4VFRX4/PPPYbFYhC7pBZMmTYJIJOIsJRGRGzMajTh69ChGjx6NhIQEocvpUVJSEt544w1cvXoVBw4ccIsQp1ar0dbWBr1eL3Qpbo2B0s3FxMRg9erVuHfvntu1VvDz80NWVhby8/P5B42IyE2dO3cOra2tmD9/vlscxOnN+PHjO0Pl/v37BQ+VPOndNwyUHmD06NGd11V9/fXXgv/het7kyZMBAJcuXRK4EiIielldXR0uXryIadOmQaVSCV1On40fPx7Lly93i1CpUqkgFosZKHvBQOkhEhMTsXTpUhQVFeHYsWNuEyr9/f2RmZmJvLw8tLW1CV0OERF9q+MgjkKhwNSpU4Uup9+Sk5M7Q6WQy98SiQShoaGoqakR5PmegoHSg6SmpmLBggW4fPkyzpw5I3Q5naZMmQKr1YrLly8LXQoREX2rpKQEpaWlbn0QpzcdobKoqEjQUKlWq1FXVyfIsz2Fj9AFUP9kZWXBYDDg1KlTkMlkmDJlitAlISAgABkZGbhy5QomT54MX19foUsiIhrUDAYDjh49ioSEBMTHxwtdjl2Sk5Nhs9nw1VdfAQCWLFni8r2garUaGo3Gpc/0NJyh9EDZ2dmYNm0ajh8/joKCAqHLAfBsltJiseDKlStCl0JENOidOXMGbW1tmD9/vtClOERKSkrnTKUQZwnUajV0Oh0PoPaAM5QeatasWTAYDPj6668hlUqRnJwsaD1BQUGYMGECLl++jEmTJkEulwtaDxHRYFVTU4MrV65gxowZUCqVQpfjMCkpKbDZbNi3bx8AYPHixS6bqXz+pPeIESNc8kxPwxlKDyUSibBgwQKkpqbiq6++wu3bt4UuCVOnToXJZEJeXp7QpRARDUo2mw2HDh2CUql0iy1Rjpaamoply5ahsLAQBw8edNlMZWhoKEQiEU9694CB0oOJRCIsWbIEY8eOxeeff44HDx4IWk9wcDDS0tJw6dIlGAwGQWshIhqMrl+/jocPH2LhwoXw8fHORciOUFlQUOCyUNlx0puBsnsMlB5OLBZjxYoViI2Nxe7du/Ho0SNB65k2bRoMBgM3LxMRuVh7ezuOHz+OxMREjBw5UuhynCo1NRVLly5FQUEBDh065JJQyTu9e8ZA6QUkEglWr16NIUOGIDc3F0+ePBGsFoVCgbS0NFy8eBFGo1GwOoiIBptvvvkGBoMB8+bNE7oUl0hLS8PSpUuh0WhcEio77vSmrjFQegmpVIp169YhLCwMn376qaD/0U+bNg3t7e1ucwKdiMjbVVVVIS8vDzNmzIBCoRC6HJdxZahUq9VobW3lJR7dYKD0InK5HG+99RaCgoKwbds2NDQ0CFKHUqlESkoKLly4AJPJJEgNRESDRcdBnNDQUEyaNEnoclwuLS0NS5YsgUajweHDh50WKsPDwwGADc67wUDpZfz8/LBhwwbIZDJs374dzc3NgtQxbdo06PV6zlISETnZ1atXUVFRgYULF0IikQhdjiAmTJiAJUuWID8/32mhkie9e8ZA6YUCAwOxceNG2Gw2bNu2DTqdzuU1qFQqJCcn48KFCzCbzS5/PhHRYNDW1objx48jKSkJsbGxQpcjqAkTJmDx4sXIz8/HkSNHHB4qfXx8EBISwju9u8FA6aUUCgU2btwIg8GA7du3C7LnIzs7GzqdDoWFhS5/NhHRYHDq1CmYzeZBcxCnN+np6Vi8eDHy8vKcEip5p3f3GCi9mEqlwoYNG9Dc3Izc3FyXn7oODQ3F+PHjOUtJROQET548gUajwcyZMxEUFCR0OW4jPT0dixYtckqoZOug7jFQernw8HCsX78eNTU12LVrl8uDXXZ2Npqbm1FcXOzS5xIRebOOgzjh4eHIysoSuhy3k5GR0Rkqjx496rBQqVar0dzczMs7usBAOQgMGTIEOTk5qKiowJ49e2CxWFz27LCwMCQlJeH8+fMufS4RkTcrKipCZWXloD6I05uMjAwsXLgQV65ccViofP5Ob3oRA+UgMWLECKxZswb379/Hl19+CavV6rJnZ2dno6mpCVevXnXZM4mIvJVer8eJEyeQkpKCESNGCF2OW8vMzOwMlceOHbM7VIaFhQFgoOwKA+UgMmrUKLz55psoKSnB119/7ZKrqoBny+6JiYk4d+4cZymJiOx08uRJWK1WzJkzR+hSPEJHqLx8+bLdoVIqlSIkJISBsgsMlIPM2LFjsWzZMhQVFTl0X0lvpk+fDq1Wi+vXr7vkeURE3qiyshKFhYWYNWsWAgMDhS7HY2RmZmLBggW4fPkyjh8/btfPPh7M6ZqP0AWQ66WkpMBoNOLQoUOQy+V47bXXnP7MiIgIjBkzBufOnUNycjLEYv4uQ0TUH1arFQcPHkRkZCQyMjKELsfjdBxeOnz4MABg7ty5EIlE/R4nLCwMN2/edGht3oA/1QepzMxMzJkzB2fPnsWFCxdc8szp06ejoaEBN27ccMnziIi8SUFBAZ4+fYqFCxfyl/IBysrKwoIFC3Dp0iWcOHFiQDOV4eHhaGpqcnkrPnfHGcpBbOrUqTAYDDhx4gRkMhkyMzOd+ryoqCjEx8fj7NmzSEpK4jdEIqI+0ul0OHXqFFJTUxEdHS10OR4tKysLNpsNR44cAQDMmTOnXzOVHSe96+rqMGTIEKfU6In4E32Qe+2115CVlYVDhw655BT29OnTUV9fz+UCIqJ+OHHiBADwII6DTJw4EfPnz8fFixdx8uTJfs1Udpz05hWML+IM5SAnEokwf/58GI1G7Nu3DzKZDGPHjnXa84YOHYpRo0Z1zlIOZP8KEdFg8ujRIxQXF2PRokUICAgQuhyvMXHiRNhsNhw9ehQAMHv27D79TJLJZFAoFDyY8xLOUBJEIhGWLFmCxMREfP7557h//75TnzdjxgzU1dWhpKTEqc8hIvJ0VqsVhw4dwpAhQzBhwgShy/E6kyZNwuuvv44LFy7g1KlTfZ6p5J3er2KgJACAWCzGG2+8gZEjR2L37t14+PCh0541bNgwjBw5EmfPnnVZ2yIiIk+Un5+P6upqHsRxokmTJmHevHk4f/58n0MlWwe9iv91UieJRIJVq1Zh2LBhyM3NxZMnT5z2rOnTp6Ompga3b9922jOIiDxZa2srTp8+jfT0dAwdOlTocrza5MmTO0Pl6dOnew2VarUaTS0tqGttQ0ObEdp2E8wuvIHOHYlsnCKilxiNRmzfvh319fXYvHkzwsPDnfKcbdu2oa2tDd/73ve4l5KI6CVffvkl7t27hz/5kz+Bn5+f0OUMChcvXsTx48eRnZ2N11577ZWfTc0GE8q0ejxu0qHdildeD5BKEBkgR6zSH8FyqStLFxxnKOkVMpkMOTk5CA4Oxvbt29HQ0OCU50yfPh1VVVW4e/euU8YnIvJU5eXluHbtGubMmcMw6UJTpkzB3Llzce7cuRdmKnVGM85X1ONEeR1KtXoYbKIuJ0J0JgtKtXqcKK/D+Yp66IxmV/8jCIaBkrrk5+eHDRs2QC6XY9u2bWhqanL4M2JiYjBixAicOXOGeymJiL5lsVhw6NAhDBs2DGlpaUKXM+g8Hyq/+eYblGl1OF5ei1r9s0bmvf206ni9Vm/E8fJalGn1Tq3XXTBQUrcCAgKwceNGiEQibN++Ha2trQ5/xvTp0/H06VOnnywnIvIUV65cQV1dHRYuXMjtQAKZMmUK5syZg1t1LSiqbobV1nuQfJkNgNUGFFU34XZ9izPKdCsMlNSj4OBgbNiwAQaDAdu3b0dbW5tDx4+NjUV0dDRnKYmIADQ3N+PMmTPIyMhAVFSU0OUMakPGpSEy2TE3yJXUtaLcy2cqGSipVyqVChs3bkRLSwt27NgBg8HgsLFFIhFmzJiByspKlJaWOmxcIiJPdOzYMUilUsyaNUvoUgY1ndGMqzXdb/Vq0+mw65f/hv/vOznYNDERK8cMwam9u3scs7imyav3VDJQUp+o1Wps2LABdXV12LVrF0wmk8PGjouLw9ChQzlLSUSDWmlpKW7evIm5c+fC19dX6HIGtaLqJvT046ilsQF7fvOfeFx6DyMSEvs0pu3b5W9vxUBJfRYVFYWcnBxUVlZiz549sFgsDhm3Y5ayoqIC5eXlDhmTiMiTWCwWHD58GMOHD0dycrLQ5QxqzQYTavTGHvdMhoSH4w/nivHRqXxs/PO/6dO4NgA1eiOaDY6bkHEnDJTUL8OHD8eaNWtQWlqKvXv3wuqgRq6jRo1CVFQUzpw545DxiIg8yaVLl1BfX8+DOG6gTKtHb/8LSGVyhKj736NZ9O343oiBkvpt5MiRePPNN3Hr1i0cOHDAIcvUHbOUDx8+5CwlEQ0qTU1NOHv2LCZOnIiIiAihyxn0qnSGfp/o7ivbt+N7IwZKGpAxY8Zg+fLlKC4uxpEjRxwSKuPj4xEZGYmzZ886oEIiIs9w9OhRyOVyzJw5U+hSBj2T1QqdyTHbubqjM1m88ppGBkoasOTkZCxevBh5eXk4deqU3eOJRCJMnz4dZWVlePTokQMqJCJyb/fv38etW7cwb948yOVyocsZ9HRG54bJDq0ueo4rMVCSXdLT0zF37lycP38e58+ft3u8MWPGIDw8nLOUROT1zGYzDh8+jJiYGCQlJQldDgGwuqjTiKue40oMlGS3KVOmYMaMGTh58iTy8vLsGqtjlvLBgwd4/PixgyokInI/Fy9ehFar5UEcNyJ20f8OrnqOKzFQkkPMmDEDkyZNwuHDh1FcXGzXWImJiVCr1TzxTUReq7GxEefOncOkSZOgVquFLoe+FSiTeNVzXImBkhxCJBJh3rx5mDBhAvbv34+SkhK7xsrOzsb9+/dRWVnpwCqJiNzDkSNH4O/vjxkzZghdCj3HRyxGgNS5YS9AKoGP2Pvil4/QBZD3EIlEWLRoEYxGI7744gtIpVKMHj16QGONGzcOZ86cwdmzZ7Fu3ToHV0pEJJw7d+7g7t27WLVqFWQymdDl0EuCxVbobDagl2XpQ5/+EfqWZjTUVAMANKePo6H6KQBgwfp3EBAU/MpnRAAiA7zz8JXIxrvuyMEsFgv27NmDBw8e4K233kJMTMyAxrl27Rq+/PJLfO9730NUVJRjiyQiEoDJZMJvfvMbqFQqrF+/nnsn3YTVasWdO3eQl5eHpw1axC9c3etnfjArC7VPut7r/9sTVxA+LLrL1+bEhCFYLrWrXnfEQElOYTabkZubi8rKSmzcuBFDhw7t9xhWqxW//vWvER4ejjVr1jihSiIi1zp9+jTOnz+PH/3oRwgNDRW6nEGvra0NhYWFyM/PR1NTE6Kjo5GVlYXG4EjUtZkc2uBcBEDtL8O0aO/8351L3uQUPj4+WLt2LT799FN8+umn2Lx5c79vgBCLxcjOzsa+fftQXV3NGySIyKM1NDTgwoULmDJlCsOkwKqrq3HlyhVcv34dNpsNSUlJyMrKwpAhQwAAOqMZx8tr4cgpN5EISItQOG5AN8MZSnKq9vZ2bN26FS0tLXj77bf7/U3UYrHgww8/xJAhQ7Bq1SonVUlE5Fw2mw25ubmora3Fj3/8Y0il3rfk6e46lrWvXLmChw8fIigoCBkZGUhPT0dAQMAr7y/T6lFU3eSw50+IUCBG6e+w8dwNAyU5nU6nw5YtW2A0GvHOO+9Aoejfb2iFhYU4cOAAfvjDHyI8PNxJVRIROc+tW7fw2WefYc2aNRgzZozQ5Qwqer2+c1m7ubkZw4cPR1ZWFsaMGQOJpOcT3bfrW1BS12p3DYlhQRgTGmj3OO6MgZJcorm5GZ988gnEYjHefvttBAb2/Q+WxWLBr371K0RHR2PlypVOrJKIyPGMRiN+/etfIyIiAuvWreNBHBepqqrClStXcOPGDdhsNowfPx5ZWVn9PuRZptXjak0TbDb0a0+lCM+WuVPDvXtmsgMDJblMY2MjPvnkE/j5+WHTpk3w9+/7HzCNRoODBw/ixz/+McLCwpxYJRGRY508eRKXLl3Cj370I6hUKqHL8WpWqxW3b9/GlStX8OjRIwQHB3cua/fnZ87LdEYziqqbUKM3QoSeg2XH6+H+MqRFKBAgGxzHVRgoyaVqa2uxZcsWKJVKbNy4EXJ53/pxmc1m/OpXv0JMTAzeeOMNJ1dJROQYdXV1+O1vf4vs7GzMnDlT6HK8ll6vR0FBATQaDZqbmzFixIjOZW2xA5uINxtMKNPqUaUzQGeyvPJ6gFSCyAA5YpX+XtkaqCcMlORyT58+xdatWxEZGYm33nqrz5vT8/LycOTIEfz4xz/mCUkicns2mw2ffvopGhsb8cMf/pAHcZzg6dOnyMvLw/Xr1yESiTqXtSMjI53+bLPVilajBVabDWKRCIEy77wBp68YKEkQFRUV2L59O0aMGIE1a9bAx6f3JQGz2Yxf/OIXGDVqFJYtW+aCKomIBu7mzZv4/PPPsW7dOsTHxwtdjtewWCy4ffs28vLyOpe1MzMzMWHCBLuWtck+DJQkmNLSUuTm5iI+Ph5vvvlmn5YlLl++jGPHjuEnP/kJ9yIRkdsyGAz49a9/jSFDhmDt2rVCl+MVdDpd57J2S0sLRowYgYkTJyIhIcGhy9o0MAyUJKg7d+5g9+7dSE5OxrJly3o9/WgymfCLX/wC8fHxWLp0qYuqJCLqn2PHjiE/Px8//vGPoVQqhS7Hoz158gR5eXm4ceNG57L2xIkTedmFmxkcR4/IbSUkJOCNN97A3r17IZVKsXDhwh5DpVQqxZQpU3Dy5ElMnz6d36iJyO3U1NTgypUrmDFjBr9HDZDFYsGtW7eQl5eHiooKKBQKvPbaa0hLS+OytptioCTBjR8/HiaTCQcOHIBcLsecOXN6fH9GRgYuXLiA8+fPY/HixS6qkoiodzabDYcOHYJSqcSUKVOELsfjvLysHRMTg9WrV3NZ2wMwUJJbmDBhAoxGI44ePQq5XI7s7Oxu3yuTyTBlyhScOnUK2dnZ/b55h4jIWa5fv46HDx9i/fr1fTpsSM+8vKydnJyMrKwsLmt7EP7XTm5j0qRJMBgMOHXqFGQyGSZOnNjtezMzM3HhwgVcuHABCxcudGGVRERda29vx/Hjx5GYmIiRI0cKXY7bs1gsKCkpQV5eHh4/fgyFQoFZs2YhLS0Nfn5+QpdH/cRASW5l+vTpMBgMOHLkCGQyGdLS0rp8n0wmw+TJk3HmzBlMmzYNwcHBLq6UiOhF33zzDQwGA+bNmyd0KW6ttbW1c1m7tbUVsbGxWLNmDeLj47ms7cEYKMmtiEQizJ07F0ajEQcOHIBMJsO4ceO6fG9WVhYuXryICxcuYMGCBS6ulIjov1VVVSEvLw+zZ8/mNpxuVFZWdi5rSySSzmXt8PBwoUsjB2CgJLcjEomwaNEiGI3GztPfXTUFlsvlmDRpEs6fP49p06YhKChIgGqJaLDrOIgTGhqKSZMmCV2OW7FYLLh58yby8vJQWVkJpVKJ2bNnc1nbC7EPJbktq9WKPXv24N69e3jrrbcQGxv7ynva29vxwQcfIC0tDa+//roAVRLRYFdcXIx9+/Zh48aNXX6fGoxaW1uh0WhQUFCA1tZWxMXFISsrC6NHj+aytpdioCS3ZjabsXPnTjx+/BgbNmzAsGHDXnnP6dOncfHiRbz33nsICAgQoEoiGqza2trw4YcfIi4uDitXrhS6HME9fvwYeXl5uHnzJiQSCVJSUpCVlQW1Wi10aeRkDJTk9oxGI3bs2IGamhps2rQJkZGRL7ze1taGDz74ABkZGZg7d65AVRLRYHTw4EFcu3YNP/nJTwbtthuz2dx5WruyshIhISHIzMxEWloafH19hS6PXISBkjxCe3s7tm3bhubmZmzevBlhYWEvvH7y5ElcuXIF7733Hm9RICKXePLkCX7/+99j3rx5mDx5stDluFxLS0vnsrZOp0NcXBwmTpyIUaNGcVl7EGKgJI+h1+uxZcsWGAwGvP322y9caabX6/HBBx9g4sSJmD17tnBFEtGgYLPZ8PHHH8NkMuF73/seJBKJ0CW5hM1mQ2VlJa5cuYKSkhIua1MnBkryKC0tLfjkk08AAG+//fYLS0zHjx+HRqPBe++9x9ODRORUhYWFOHDgADZv3owRI0YIXY7Tmc3mztPaT548QUhICLKyspCamsplbQLAQEkeSKvV4pNPPoFcLsfmzZs7l7h1Oh1+8YtfYPLkyXjttdc632+2WtFqtMBqs0EsEiFQJoEPl2OIaID0ej0+/PBDjB49Gm+88YbQ5ThVc3MzNBoNCgsLodPpMHLkyM7T2iKRSOjyyI0wUJJHqqurwyeffAKFQoGNGzd2/oZ87NgxFBYW4t0f/QmetJlRpTNAZ7K88vkAqQSRAXLEKv0RLJe6unwi8mAHDhzAzZs38ZOf/ASBgYFCl+NwNpsNjx8/xpUrV3Dr1i34+Ph0Lmu/vH+dqAMDJXmsqqoqbN26FeHh4Vi/fj2kUilqtM04cvUOAiOHQQSgp/+4O14P95chLUKBABn7/BNRzx4/foyPP/4YCxYsQFZWltDlOJTZbMaNGzeQl5eHp0+fQqVSdS5ry+VyocsjN8dASR7t8ePH2LZtG4YPH47JC5fhel0rrFYb0I+lGBGevT0lXIFYJU+IE1HXrFYr/vCHP8Bms+G73/2u15xk7ljWLigogF6vx6hRo5CVlYVRo0ZxWZv6jIGSPF5ZWRmOFtxA+PgMu8dKDAvEmNDB2UuOiHqWn5+PQ4cO4Z133kF0dLTQ5djFZrOhoqICeXl5KCkpgVQqRWpqKrKyshAaGip0eeSBuMZHni8kAuHjHXPKsKSuFb4SCWI4U0lEz9HpdDh16hRSU1M9OkyazWZcv34deXl5qKqqQmhoKObPn4+UlBQua5NdGCjJo+mMZlytaerytUf37uCzD/8DD25eg7auBnJfPwwbFY9l7/wQmbPmdTtmcU0T1P4y7qkkok4nTpwAAMyZM0fgSgamqamp87S2Xq/H6NGjMXv2bIwcOZLL2uQQ/IlJHq2ougndbdqoffIYbbpWvLZ8FULCI2Fob8PlYwfxzz/ajO//3b9i3pr1XX7OZns27rRoLvsQEfDo0SMUFxdj0aJFCAgIELqcPrPZbHj06BHy8vJw69YtSKVSpKWlITMzk8va5HDcQ0keq9lgwonyun59xmKx4C9Wvg6jwYBfHT7X43vnxISxpRDRIGe1WvG73/0OEokE7777rkccxDGZTLhx4wauXLmC6upqhIaGIisri8va5FScoSSPVabV99oa6GUSiQShkUPw4MbVHt8n+nb8lAiFPSUSkYfLz89HdXU1vvOd77h9mGxqakJ+fj4KCwvR1taG+Ph4zJ07F3FxcVzWJqdjoCSPVaUz9ClMtuv1MBraoG9pQf6pYyg6dxpTFyzt8TO2b8dPcUilROSJWlpacPr0aaSnp2Po0KFCl9Mlm82Ghw8fIi8vD7dv34ZMJutc1lapVEKXR4MIAyV5JJPV2uUNOF3Z+i9/h2O7twMAxGIxJs5diO/8zT/2+jmdyQKz1cprGokGqRMnTkAsFmP27NlCl/IKk8nUeVq7uroaYWFhWLBgAVJSUiCTyYQujwYhBkrySDpj38IkACza9B1Men0RGmuqcfHwAVitFphNpj59ttVogdKXgZJosCkvL8e1a9ewZMkS+Pn5CV1OJ61Wi/z8fBQVFXUua8+bNw+xsbFc1iZB8VAOeaSGNiO+eVQ/oM/+/TtroWtpxj9/drDXb8Ax1haEBfgiMDAQAQEBkMlk/KZN5OUsFgs++ugjyOVyvPPOO4L/me9Y1r5y5Qru3LnTuaydlZWFkJAQQWsj6sAZSvJIYju+wU96fTE++tu/wJOyBxgaN6rH9x4/dgzt2v8OrhKJBAEBAX3+SyKRDLhOIhLGlStXUFdXh+9+97uChkmTyYRr164hLy8PNTU1UKvVWLhwIZKTk7msTW6HgZI8UqBs4EHNaGgHAOhbW3p97w/ffRuGNj10Oh10Oh1aW1s7/16v16OhoQEVFRXQ6XQwGAyvfN7X17fP4dPX11fwmRCiwa65uRlnzpxBRkYGoqKiBKlBq9UiLy8PRUVFaG9vR0JCAl5//XUua5NbY6Akj+QjFiNAKunxYE5TfR0UoWEvfM1sMuHMV3sg8/XFsJHxPT4jQCpBcGAAEBgAtVrda00mkwl6/X+Hz+dDaMfXGxsbO79utVpf+LxYLO7X7KePD//4EjnasWPHIJVKMWvWLJc+12azoby8HFeuXMHdu3chl8s7T2tzWZs8AX8ikceKDJCjVKvvtnXQf/3tX6CttRWJGROhioiEtq4WZw/sRWXpfWz6n38Lvx5uvBB9O35/SKVSKBQKKBS996602Wxob29/JXw+/5dWq0VlZSV0Oh3a29tfGUMul/c5fPr5+XFmg6gXpaWluHnzJpYvXw5fX1+XPNNoNHYua9fW1kKtVmPRokUYP348l7XJo/BQDnms3m7KOX/wK5z8Yice3b2NFm0j/AICETduPBaufweZs17vdXx3uinHYrH0GD5f/stieXHmViQS9Wv2Uyp1j39uIlexWCz47W9/i4CAAGzevNnpv4A1NjZ2ntY2GAxISEhAVlYWYmJi+MsfeSQGSvJo5yvqUas39uu2nN6IAKj9ZR57l7fNZoPBYOhz+Gxra3tlDJlM9kLA9Pf3R0BAQOdp95dnP939BhGi3pw/fx6nTp3C97//fURERDjlGTabDWVlZcjLy8OdO3fg6+uLCRMmIDMzE0ql0inPJHIVLnmTR0uLUOB4eS0c+WuRSPRsXE8lEong6+sLX19fhIb2HootFkuXez+f/6u6urrz781m8ytj+Pv7vxA2OwJoVyFUKpVyBobcSlNTE86ePYuJEyc6JUwajUZcvXoV+fn5qK2tRXh4OBYvXozk5GSuBpDXYKAkjxYg80FKuAJF1U0OGzM1XIEA2eD5oyGRSBAUFISgoKBe32uz2WAymV447d7VIaSOAKrX618Zw8fH54Ww+Xz4fP6vjtc4+0nOdvToUcjlcsycOdOh4zY0NHQuaxuNRowZMwYLFy7EiBEj+EsVeZ3B81OTvFas0h8GiwUlda12j5UYFoQYpb8DqvJOIpEIMpkMKpWqT/cEW61WtLW1vdJy6fnWS3V1dSgvL4dOp4OpixuM/Pz8+rz3Uy6X8wc1vcBstaLVaIHVZoNYJEKgTPLCdar379/HrVu3sGLFCsjl/TuI1xWbzYbS0lLk5eXh7t278PPzQ0ZGBjIyMrisTV6NeyjJa5Rp9bha0wSbDf3aUynCs2Xu1HAFw6TAjEbjC8vvL/f9fLkV08vfvth4noBnB/bKtHpU6QxdthYLkEoQGSDH8CA5Pv349wgODsbGjRvt+mWkY1k7Ly8PdXV1iIiIQFZWFsaPH89lbRoUGCjJq+iMZhRVN6FGb4QIPQfLjtfD/WVIixhcy9zewGazdc5+vrzk/nIAZeP5wWEgf/5bqx7jtYQRiI4MH9AzGxoakJeXh+Li4s5l7YkTJ2L48OH874UGFQZK8kp9naGIVfq7TWsgci6z2dyv1ktsPO9ZBrpCAZsNYrEIKeEKxPZxhcJms+HBgwfIy8vDvXv34Ofn13lauy99aIm8EQMleb3e9lARvawvjeef/4uN54V1u77FQXuoAzEmtPvDaQaDoXNZu76+HpGRkcjKykJSUhKXtWnQY6AkIrKTMxrPv9yKiY3nu1am1Tu0y8OEiFf3UtfX13cua5tMJowdOxYTJ05EdHQ0fxEg+hYDJRGRCzmi8bxUKu227+fLvT+9ufG8zmjG8fJaWLv4KXb/ejFOf/kZbuRdRG1lBYKUIRidko6cP/0LDIkd2e2YYhEwN0YNf6kEDx48wJUrV3D//n34+/tjwoQJyMjI4LI2URcYKImI3FhfGs8//1d3jeefD5pd9f7seM2TGs/3dFPWv/30u7hdlI8pry/GiISx0NbV4vCOT9Cu1+Gfdn2N4fFjuhxTBEBmakPp6YNoaGhAZGQkJk6ciKSkJO6LJeoBAyURkZfoaDzfU9/Pl0/Cv+z5xvN9+Uuo2c9mgwknyuu6ff12YT5GJqVAKpN1fu1JeSl+vnQ2Jr++CH/6bx/2OL71biGyUsZzWZuojxgoiYgGqecbz3cVQl/u/elOjeevVjehVKvv34luAH++4nUAwL/tPdrte0QA4pT+SPHgK1iJXI3z90REg9TzrZD64uXG8131/ayvr+98zZmN56t0hn6HSZvNBm19HaJHxff8vm/HT+nn+ESDGQMlERH1iUwmg0wm69MVgt01nn/+pqOGhgZUVFT0u/G8X0AgdEFDnl1x1Q9nD+xFQ/VTrP3p/+j1vTqTBWarlS3GiPqIS95ERCS4/jSet0jlGDlvRb/Gf1x6D3+1ejGiR8Xj/9vxVZ+u3Zw1IgxKX7ZoIuoLzlASEZHgfHx8oFAo+tSSp15vwJmKhj6P3Vhbg//3/Y3wDwrC//jF7/t8h7uV8y1EfcZASUREHkXSj2VoXUsz/vF7b0HX3Ix/2PElVBGRff6smKe7ifqMgZKIiDxKoKxvM4xGQzv+6Yeb8KS8FH/7x929HsYZ6HOICOBuYyIi8ig+YjECpD2HPYvFgvd/9gPcLS7An33wOySkZfTrGQFSCQ/kEPUDZyiJiMjjRAbIe+xDufVf/g75p44h47W5aG3S4sz+L154fcbSld2OLfp2fCLqOwZKIiLyOLFKfzzQvnrTT4fyWzcBAJrTx6E5ffyV13sKlLZvxyeivmPbICIi8kg93eU9UCIAan8ZpkWHOnBUIu/HDSJEROSR0iIU/e1t3iuR6Nm4RNQ/DJREROSRAmQ+SAl3bPhLDVcgQMbdYET9xUBJREQeK1bpj8SwQIeMlRgWhBjunSQaEO6hJCIij1em1eNqTRNsNvRrT6UIz5a5U8MVDJNEdmCgJCIir6AzmlFU3YQavREi9BwsO14P95chLYLL3ET2YqAkIiKv0mwwoUyrR5XOAJ3J8srrAVIJIgPkiFX6I1guFaBCIu/DQElERF7LbLWi1WiB1WaDWCRCoIw34BA5AwMlEREREdmFv6YRERERkV0YKImIiIjILgyURERERGQXBkoiIiIisgsDJRERERHZhYGSiIiIiOzCQElEREREdmGgJCIiIiK7MFASERERkV0YKImIiIjILgyURERERGQXBkoiIiIisgsDJRERERHZhYGSiIiIiOzCQElEREREdmGgJCIiIiK7MFASERERkV0YKImIiIjILgyURERERGQXBkoiIiIisgsDJRERERHZhYGSiIiIiOzCQElEREREdmGgJCIiIiK7MFASERERkV0YKImIiIjILgyURERERGQXBkoiIiIisgsDJRERERHZhYGSiIiIiOzCQElEREREdmGgJCIiIiK7MFASERERkV0YKImIiIjILgyURERERGQXBkoiIiIisgsDJRERERHZ5f8H+hzTqcPkoPsAAAAASUVORK5CYII=\n"
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "from matplotlib import pyplot as plt\n",
    "\n",
    "#random_graph = nx.gnp_random_graph(7, 0.4)\n",
    "random_graph = nx.random_graphs.random_regular_graph(3,10)  #生成包含10个节点、每个节点有2个邻居的规则图RG\n",
    "\n",
    "# Apply the Welsh-Powell algorithm\n",
    "colors = weisfeiler_lehman(random_graph,1000)\n",
    "# Draw the graph\n",
    "nx.draw(random_graph, with_labels=True, node_color='lightblue', edge_color='gray')\n",
    "plt.show()"
   ],
   "metadata": {
    "collapsed": false,
    "pycharm": {
     "name": "#%%\n"
    }
   }
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "outputs": [],
   "source": [],
   "metadata": {
    "collapsed": false,
    "pycharm": {
     "name": "#%%\n"
    }
   }
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.6"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 0
}